diff --git a/src/fr/inrialpes/exmo/align/service/AlignmentService.java b/src/fr/inrialpes/exmo/align/service/AlignmentService.java index afa0244c97b952bc167c5dc2903bd7014cb1029d..73b6124791be10db9c2bd366cf99cd9b11188bab 100644 --- a/src/fr/inrialpes/exmo/align/service/AlignmentService.java +++ b/src/fr/inrialpes/exmo/align/service/AlignmentService.java @@ -414,6 +414,13 @@ public class AlignmentService { 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; }