##// END OF EJS Templates
Convert parent handle to an int before setting environment variable...
Thomas Kluyver -
Show More
@@ -197,7 +197,7 b' def launch_kernel(cmd, stdin=None, stdout=None, stderr=None, env=None,'
197 handle = DuplicateHandle(pid, pid, pid, 0,
197 handle = DuplicateHandle(pid, pid, pid, 0,
198 True, # Inheritable by new processes.
198 True, # Inheritable by new processes.
199 DUPLICATE_SAME_ACCESS)
199 DUPLICATE_SAME_ACCESS)
200 env['JPY_PARENT_PID'] = str(handle)
200 env['JPY_PARENT_PID'] = str(int(handle))
201
201
202 proc = Popen(cmd, **kwargs)
202 proc = Popen(cmd, **kwargs)
203
203
General Comments 0
You need to be logged in to leave comments. Login now