Mentions légales du service

Skip to content
Snippets Groups Projects
Commit 151e6ca9 authored by Jérôme Euzenat's avatar Jérôme Euzenat
Browse files

- added recording of the command line arguments

parent a9536f2d
No related branches found
No related tags found
No related merge requests found
...@@ -414,6 +414,13 @@ public class AlignmentService { ...@@ -414,6 +414,13 @@ public class AlignmentService {
debug = Integer.parseInt( params.getProperty( "debug" ) ); debug = Integer.parseInt( params.getProperty( "debug" ) );
} }
// We add (for debugging purposes) the command lines as arguments
String argline = "";
for ( int i = args.length - 1; i >= 0; i-- ) {
argline = args[i]+" "+argline;
}
params.setProperty( "argline", argline );
return params; return params;
} }
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment