From 013e4efa5611672747a52e091b80922f80cb824f Mon Sep 17 00:00:00 2001 From: Ad Schellevis Date: Tue, 6 Mar 2018 19:54:51 +0100 Subject: [PATCH] fix include paths for Windows. --- run_server.php | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/run_server.php b/run_server.php index 59b538c..c709aa2 100644 --- a/run_server.php +++ b/run_server.php @@ -56,7 +56,12 @@ foreach ($conf->application->contrib as $include) { $include_paths[] = trim($include); } } -$run_command[] = '-d include_path=".:'.implode(':', $include_paths).'"'; +if (PHP_OS == 'WINNT') { + // include paths on windows differ + $run_command[] = '-d include_path=".;' . implode(';', $include_paths) . '"'; +} else { + $run_command[] = '-d include_path=".:' . implode(':', $include_paths) . '"'; +} // listen to localhost $run_command[] = "-S localhost:8000";