# HG changeset patch
# User John "Elwin" Edwards
# Date 1458475162 14400
# Node ID 1d8dc3ed22cf02b94ba911336bde36d4bcf9b101
# Parent  18d0b3441a08be4e208efa52a026ec183374f48c
Restore the default size of the high score list.

In an era of megabyte JavaScript libraries, ten lines of text is not
too much.

diff -r 18d0b3441a08 -r 1d8dc3ed22cf web/scoring/high.cgi
--- a/web/scoring/high.cgi	Sat Mar 19 09:49:25 2016 -0400
+++ b/web/scoring/high.cgi	Sun Mar 20 07:59:22 2016 -0400
@@ -31,7 +31,7 @@
 if start < 0:
   start = 0
 
-deflimit = (12 // len(games)) * 5
+deflimit = 10
 formlimit = cgidata.getfirst("l")
 if not formlimit:
   limit = deflimit