Manually merge r3235 from the multi_processor branch.
The command used was: svn merge -r3234:3235 svn+ssh://bugman@.../svn/relax/branches/multi_processor .
..... r3235 | varioustoxins | 2007-03-19 11:57:19 +0100 (Mon, 19 Mar 2007) | 4 lines Changed paths: M /branches/multi_processor/multi/mpi4py_processor.py
consoles and scripts now exit cleanly (override sys.exit) interactive console works! .....
Authored by: bugman 2008-10-15
Parent: [r7711]
Child: [r7713]