Merge pull request #1898 from lonvia/show-housenumber-with-housename

[nominatim.git] / utils / server_compare.php

diff --git a/utils/server_compare.php b/utils/server_compare.php
index 0a27c484914fddb169b11dfe47184848d754bbc9..39016d072a17522b741bbb84bffb2c51fc048d37 100755 (executable)
--- a/utils/server_compare.php
+++ b/utils/server_compare.php
@@ -1,4 +1,4 @@
-#!@PHP_BIN@ -Cq
+#!/usr/bin/php -Cq

 <?php
 
 $sFile = 'sample.log.txt'; // Apache log file
 <?php
 
 $sFile = 'sample.log.txt'; // Apache log file