def fork(): global in_forked_process pid = os.fork() if pid: # make sure parent and child have 2 different RNG instance_random.seed(instance_random.random()) else: in_forked_process = True return pid
def fork(): pid = os.fork() if pid: # recreate the event pipe if it already exists for obj in socket_map.values(): assert obj is ZEvent.the_trigger obj.close() ZEvent.the_trigger = ZEvent.simple_trigger() # make sure parent and child have 2 different RNG instance_random.seed(instance_random.random()) return pid
def fork(): pid = os.fork() if pid: # recreate event pipes that already exist for obj in socket_map.values(): obj.close() if obj is ZEvent.the_trigger: ZEvent.the_trigger = ZEvent.simple_trigger() else: assert obj is zrpc.ManagedServerConnection.trigger zrpc.ManagedServerConnection.trigger = zrpc.trigger() zrpc.ManagedClientConnection.trigger.close() zrpc.ManagedClientConnection.trigger = \ zrpc.client_trigger = zrpc.trigger(zrpc.client_map) # make sure parent and child have 2 different RNG instance_random.seed(instance_random.random()) return pid
def fork(): pid = os.fork() if pid: # make sure parent and child have 2 different RNG instance_random.seed(instance_random.random()) return pid