# HG changeset patch # User John "Elwin" Edwards # Date 1388772149 18000 # Node ID 09ef92dc443982799bed0c3f69a58ad0872e3c1c # Parent 6592cdd1fceb7c012d92c2c8a71e8596ea5a7b5d Remove the static high score page. Don't create it, change all links, and redirect any requests. diff -r 6592cdd1fceb -r 09ef92dc4439 lighttpd/lighttpd.conf --- a/lighttpd/lighttpd.conf Fri Jan 03 11:11:07 2014 -0500 +++ b/lighttpd/lighttpd.conf Fri Jan 03 13:02:29 2014 -0500 @@ -333,6 +333,11 @@ #$HTTP["host"] =~ "^www\.(.*)" { # url.redirect = ( "^/(.*)" => "http://%1/$1" ) #} +$HTTP["host"] =~ "^(.*)$" { + url.redirect = ( + "^/scoring/highscores.html" => "http://%1/scoring/high.cgi?l=40" + ) +} ## ## which extensions should not be handle via static-file transfer diff -r 6592cdd1fceb -r 09ef92dc4439 lighttpd/modules.conf --- a/lighttpd/modules.conf Fri Jan 03 11:11:07 2014 -0500 +++ b/lighttpd/modules.conf Fri Jan 03 13:02:29 2014 -0500 @@ -46,7 +46,7 @@ # "mod_alias", # "mod_auth", # "mod_evasive", -# "mod_redirect", + "mod_redirect", # "mod_rewrite", "mod_setenv", # "mod_usertrack", diff -r 6592cdd1fceb -r 09ef92dc4439 py/recorder.py --- a/py/recorder.py Fri Jan 03 11:11:07 2014 -0500 +++ b/py/recorder.py Fri Jan 03 13:02:29 2014 -0500 @@ -34,9 +34,8 @@ # All the databases have been updated. Now make the pages. -# Currently the high scores for all the games are on the same page. If -# they split up, this will have to change to a Game method. -rlgall.highpage() +# The high page has been replaced with a CGI script. +#rlgall.highpage() for name in updatenames: rlgall.playerpage(name) diff -r 6592cdd1fceb -r 09ef92dc4439 py/rlgall.py --- a/py/rlgall.py Fri Jan 03 11:11:07 2014 -0500 +++ b/py/rlgall.py Fri Jan 03 13:02:29 2014 -0500 @@ -45,7 +45,7 @@ pend = """