Make it possible to change filename

This commit is contained in:
Christian Dresel 2018-03-11 10:14:47 +01:00 committed by GitHub
parent 46da599668
commit af4a89c8da
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -216,7 +216,7 @@
}
?>
<br>
<form action="index.php" method="post">
<form action="<?php echo $_SERVER['PHP_SELF']; ?>" method="post">
<button type="submit" name="routes" value="1">show all babel routes</button>
<button type="submit" name="v4table" value="1">show table fff ipv4</button>
<button type="submit" name="v6table" value="1">show table fff ipv6</button>