Skip to content
  • Erwan Jahier's avatar
    Fix a bug introducezd in 47b07b9e. · 4b836d2e
    Erwan Jahier authored
    The problem was that it was not possible to run 2 test inside the
    same lurettetop session.
    
    The symptom was a message that looked like:
    
        Process 18828 (ecexe) created
        Error, '' contains no node
    
    The was in source/Lutin/mainArg.ml, when I was using Arg.parse_argv
    with the optional current parameter:
    4b836d2e