got rid of dependency on posix module; replaced posix_getpid with get…

…mypid
facebookarchive · May 31, 2011 · 6c47441 · 6c47441
1 parent e839d58
commit 6c47441
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/phpsh.php b/src/phpsh.php
@@ -25,7 +25,7 @@
   exit;
 }
 
-$missing = array_diff(array('pcre','posix','tokenizer'),
+$missing = array_diff(array('pcre','tokenizer'),
                       get_loaded_extensions());
 if ($missing) {
   fwrite(STDERR, 'Fatal error: phpsh requires the following extensions: '.
@@ -568,7 +568,7 @@ function interactive_loop() {
       }
 
       if ($this->fork_every_command) {
-        $parent_pid = posix_getpid();
+        $parent_pid = getmypid();
         $pid = pcntl_fork();
         $evalue = null;
         if ($pid) {
@@ -585,7 +585,7 @@ function interactive_loop() {
           }
 
           // if we are still alive..
-          $childpid = posix_getpid();
+          $childpid = getmypid();
           fwrite($this->_comm_handle, "child $childpid\n");
         }
       } else {