# HG changeset patch
# User John "Elwin" Edwards
# Date 1435072246 14400
# Node ID 86ae333bb4c03b9d01ddcb2a4b4259df0995dc09
# Parent  ad103f9f2e3a5eb6589e63d43de9a7f0e970a84d
Capitalize the class field in database entries.

Some logfiles capitalize it and some don't.  It will now appear
consistently in the database and any database-derived pages.

That does not include recent.cgi, whose eventual status is still
undecided.

diff -r ad103f9f2e3a -r 86ae333bb4c0 py/rlgall.py
--- a/py/rlgall.py	Tue Jun 09 14:25:23 2015 -0400
+++ b/py/rlgall.py	Tue Jun 23 11:10:46 2015 -0400
@@ -501,6 +501,11 @@
   fields = ["name", "score", "class", "xl", "fate", "depth", "endt"]
   rankfields = ["rank", "score", "name", "class", "xl", "fate", "depth", "endt"]
   pfields = ["score", "class", "xl", "fate", "depth", "endt"]
+  def postprocess(self, gamelist):
+    "Enforces consistent capitalization of the class title."
+    for d in gamelist:
+      d["class"] = d["class"].capitalize()
+    Game.postprocess(self, gamelist)
   def getRecent(self, n=20):
     return []
   def getPlayer(self, player):