API documentation: clarification countrycode assignment happens using admin_level...

[nominatim.git] / utils / server_compare.php

diff --git a/utils/server_compare.php b/utils/server_compare.php
old mode 100644 (file)
new mode 100755 (executable)
index f44b073..39016d0
--- a/utils/server_compare.php
+++ b/utils/server_compare.php
@@ -1,3 +1,4 @@
+#!/usr/bin/php -Cq
 <?php
 
 $sFile = 'sample.log.txt'; // Apache log file