Salome HOME
Integrated patch from Ivan Dutka-Malen:
authorbarate <barate>
Wed, 14 Apr 2010 13:45:01 +0000 (13:45 +0000)
committerbarate <barate>
Wed, 14 Apr 2010 13:45:01 +0000 (13:45 +0000)
commit156bc2d2ba5ec0afa6c06ad127dbcae367b8101d
tree9cfe357f8addb68fd7e97cfc0d4729af7a3e097b
parent639641b8600eb1d52265aa777da64ebffbe961df
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).
src/Local/Batch_BatchManager_Local.cxx