# HG changeset patch # User darius@Inchoate # Date 1229243139 -37800 # Node ID 789cf10ce4c9352ab0c96a020aa1f510bf969c7e # Parent eec2fc32ca88ab5d638f6ddf92d7eb83d485f48f Update for new format (for sure) diff -r eec2fc32ca88 -r 789cf10ce4c9 scrape-gm.py --- a/scrape-gm.py Sun Dec 14 18:51:14 2008 +1030 +++ b/scrape-gm.py Sun Dec 14 18:55:39 2008 +1030 @@ -5,10 +5,9 @@ # # Prints out matched player names agreated by server # -# $Id: scrape-gm.py,v 1.3 2007/11/18 08:54:07 darius Exp $ ############################################################################ # -# Copyright (C) 2007 Daniel O'Connor. All rights reserved. +# Copyright (C) 2008 Daniel O'Connor. All rights reserved. # # Redistribution and use in source and binary forms, with or without # modification, are permitted provided that the following conditions @@ -35,11 +34,14 @@ import re, time, datetime, urllib, sys, BeautifulSoup +debug = False + class Server: alltags = re.compile('<[^>]*>') vwhttags = re.compile('<(br|hr)>') hwhttags = re.compile('\ ') - + typetag = re.compile('