Fix bug in index.php

Perform minor sanitization on the input $_SERVER['PATH_INFO'].  This
commit adds logic that strips empty strings from main's $argv array.
The pass to array_values() is to discard original $tokens array keys
and re-number them starting from zero.

1 files changed, 2 insertions, 1 deletions

diff --git a/app/index.php b/app/index.php
index e883eff..3fee675 100644
--- a/app/index.php
+++ b/app/index.php
@@ -68,6 +68,7 @@ function main(array $argv) : void
     }
 }
 
-main(explode("/", $_SERVER['PATH_INFO']));
+$tokens = explode("/", $_SERVER['PATH_INFO']);
+main(array_values(array_filter($tokens)));
 
 ?>