web - index name changes

11 years ago · 1f74da29cd
3 changed files with 5 additions and 1 deletions
--- a/html/index.php
+++ b/html/index.php
@ -1,3 +1,3 @@
 <?php
-include_once('../pool/index.php');
+include_once('../pool/prime.php');
 ?>
--- a/pool/index.html
+++ b/pool/index.html
@ -0,0 +1,4 @@
 <!DOCTYPE html>
 <html><body>
 <h1>Web configuration needs adjustment</h1>
 </body></html>
--- a/pool/prime.php
+++ b/pool/prime.php