X-Git-Url: https://git.openstreetmap.org./nominatim.git/blobdiff_plain/b2f8fb620175157d97254a4163f6c5bba62199db..0b2abfb11570de36fd73a6c43c333aeb78d42a97:/nominatim/tools/exec_utils.py?ds=sidebyside

diff --git a/nominatim/tools/exec_utils.py b/nominatim/tools/exec_utils.py
index e0d048a2..45853163 100644
--- a/nominatim/tools/exec_utils.py
+++ b/nominatim/tools/exec_utils.py
@@ -89,6 +89,13 @@ def run_api_script(endpoint, project_dir, extra_env=None, phpcgi_bin=None,
     return 0
 
 
+def run_php_server(server_address, base_dir):
+    """ Run the built-in server from the given directory.
+    """
+    subprocess.run(['/usr/bin/env', 'php', '-S', server_address],
+                   cwd=str(base_dir), check=True)
+
+
 def run_osm2pgsql(options):
     """ Run osm2pgsql with the given options.
     """