devel merge

2019-05-05 17:58:27 +09:00
parent 00a6e9798f e731371ab1
commit 816c2ac1c4
43 changed files with 1714 additions and 107 deletions
@@ -16,7 +16,7 @@ $commandtype = Util::getReq('commandtype', 'int');
 increaseRefresh("턴입력", 1);

 if(!$turn || $commandtype === null || $sel === null){
-    header('location:commandlist.php');
+    header('location:commandlist.php', true, 303);
    die();
 }