PR review changes

[nominatim.git] / utils / setup.php

diff --git a/utils/setup.php b/utils/setup.php
index eb18d0f2b70836b1c45ce39b2bf391241cabe884..106be6162ce99d674ffc35af9d7bc04ede46437f 100755 (executable)
--- a/utils/setup.php
+++ b/utils/setup.php
@@ -916,23 +916,6 @@ function passthruCheckReturn($cmd)
     passthru($cmd, $result);
 }
 
-function runWithEnv($cmd, $env)
-{
-    $fds = array(0 => array('pipe', 'r'),
-                 1 => STDOUT,
-                 2 => STDERR);
-    $pipes = null;
-    $proc = @proc_open($cmd, $fds, $pipes, null, $env);
-    if (!is_resource($proc)) {
-        fail('unable to run command:' . $cmd);
-    }
-
-    fclose($pipes[0]); // no stdin
-
-    $stat = proc_close($proc);
-    return $stat;
-}
-
 function replace_tablespace($sTemplate, $sTablespace, $sSql)
 {
     if ($sTablespace) {