make the pull script do errors better

<?php

exec("cd ..; git reset --hard HEAD; git pull");

exec("cd ..; git reset --hard HEAD; git pull", $retArr, $retVal);

if ($retVal == 0) {

	print(ok);

	exit(0)

}

print("not ok\n");

var_dump($retArr);

var_dump($retVal);

?>

 No newline at end of file