diff -r 75707baf9551 -r 0fb3d1d26eab DebugClients/Python/DebugClientBase.py --- a/DebugClients/Python/DebugClientBase.py Thu May 12 19:56:12 2011 +0200 +++ b/DebugClients/Python/DebugClientBase.py Fri May 13 17:53:54 2011 +0200 @@ -1841,6 +1841,14 @@ elif args[0] == '--no-encoding': self.noencoding = True del args[0] + elif args[0] == '--fork-child': + self.fork_auto = True + self.fork_child = True + del args[0] + elif args[0] == '--fork-parent': + self.fork_auto = True + self.fork_child = False + del args[0] elif args[0] == '--': del args[0] break