diff --git a/htdocs/pull.php b/htdocs/pull.php
index b70f210e288e51becce9df5767ea629b1a2df4a6..57ff895e0221ac31aec126a12b71abbafd4a5645 100644
--- a/htdocs/pull.php
+++ b/htdocs/pull.php
@@ -3,8 +3,8 @@
 exec("cd ..; git reset --hard HEAD; git pull", $retArr, $retVal);
 
 if ($retVal == 0) {
-	print(ok);
-	exit(0)
+	print("ok");
+	exit(0);
 }
 
 print("not ok\n");