diff php/requestKey.php @ 2511:177cbd750610

WIP for #158
author Nicholas Jillings <nicholas.jillings@mail.bcu.ac.uk>
date Mon, 24 Oct 2016 10:45:11 +0100
parents 8536e978ab6f
children 0217c4781e5e
line wrap: on
line diff
--- a/php/requestKey.php	Mon Oct 24 10:39:20 2016 +0100
+++ b/php/requestKey.php	Mon Oct 24 10:45:11 2016 +0100
@@ -45,6 +45,7 @@
 $fileHandle = fopen($filename, 'w');
 if ($fileHandle == FALSE) {
     echo "<response><state>ERROR</state><key>".$key."</key></response>";
+    return;
 }
 fclose($fileHandle);
 // TODO: