Fixed bug in BatchManager_ePBS: the job identifier is now "number.server_name" instead of just "number".
It fixes a problem on cluster clamart2 where the default server name is not the one where the jobs are submitted.
Fixed another bug with threads in BatchManager_Local: no more segfault when destroying a local batch manager with jobs still running (jobs are now canceled at exit).
In BatchManager_Local, jobs are now in "RUNNING" state until the end of file copy and cleanup.
Integrated patch from Ivan Dutka-Malen:
Take into account special input and output file names "stdin", "stdout" and "stderr" in BatchManager_Local (not done in other batch managers yet).
barate [Mon, 18 Jan 2010 13:50:12 +0000 (13:50 +0000)]
Added constants to represent job status uniformly. Fixed some errors under Windows. Cleaned Swig code. Removed again some old files that reappeared with the merge.