really fix the pull script

683c9187 · Imran Hussain · f86ec8d5 · 683c9187
Commit 683c9187 authored 5 years ago by Imran Hussain
--- a/htdocs/pull.php
+++ b/htdocs/pull.php
@@ -3,7 +3,7 @@
 exec("cd ..; git reset --hard HEAD; git pull", $retArr, $retVal);

 if ($retVal == 0) {
-	print(ok);
+	print("ok");
 	exit(0);
 }