fix: undefined index

This commit is contained in:
Martin Ambrus
2017-11-03 16:59:30 +01:00
parent a07afeea62
commit cd17f545b8
+1 -1
View File
@@ -34,7 +34,7 @@ include("GameEngine/config.php");
<body class="manual">
<?php
if (!ctype_digit($_GET['s'])) {
if (isset($_GET['s']) && !ctype_digit($_GET['s'])) {
$_GET['s'] = "0";
}
if (!ctype_digit($_GET['typ'])) {