rm pool*

1 files changed, 0 insertions, 25 deletions

diff --git a/pool_save.php b/pool_save.php
deleted file mode 100644
index 5d67a25..0000000
--- a/pool_save.php
+++ /dev/null
@@ -1,25 +0,0 @@
-<?php
-
-if (!$_GET['session'] || !$_GET['name']) {
-  echo "empty";
-  return;
-}
-
-$f = fopen(tempnam("../tmp", "assignment-"), "wa");
-
-fwrite($f,urldecode($_GET["name"])."\n");
-fwrite($f,urldecode($_GET["session"])."\n");
-fwrite($f,getdate()[0]."\n");
-fclose($f);
-
-$checkf = "../tmp/".urldecode($_GET["session"]);
-if (file_exists($checkf)) {
-  echo "notok";
-} else {
-  $g = fopen($checkf, "wa");
-  fwrite($g, "x\n");
-  fclose($g);
-  echo "ok";
-}
-
-?>