Merge pull request #3 from ChristianDresel/patch-1

Make it possible to change filename
2018-05-24 09:01:43 +02:00 · 2018-05-24 09:01:43 +02:00 · 49bf5c3705
parent e17f6d5505 af4a89c8da
commit 49bf5c3705
1 changed files with 1 additions and 1 deletions
--- a/index.php
+++ b/index.php
@ -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>