Index: ports/ipython-ppapi/kernel.cc |
diff --git a/ports/ipython-ppapi/kernel.cc b/ports/ipython-ppapi/kernel.cc |
index 088ce622721bff48f5177f2001421cb72f5b79a7..98d9667322afef91c2730af287340ea5dc2111c8 100644 |
--- a/ports/ipython-ppapi/kernel.cc |
+++ b/ports/ipython-ppapi/kernel.cc |
@@ -26,8 +26,6 @@ |
#endif |
/* TODO(bradnelson): Switch ipython to use cli_main and drop this. */ |
-int nacl_spawn_pid = -1; |
-int nacl_spawn_ppid = -1; |
static int setup_unix_environment() { |
int ret = umount("/"); |