Python script to extract char of the flag

decode.py

import base64
import string

from urllib2 import Request, build_opener, HTTPCookieProcessor, HTTPHandler, quote
import cookielib
cj = cookielib.CookieJar()

opener = build_opener(HTTPCookieProcessor(cj), HTTPHandler())

for char in xrange(0x20, 0x7f):
	pref = 'flag:'
	url = "https://cthulhu.fluxfingers.net:1505/?user="+quote(pref+chr(char)+'')
	req = Request(url)
	print pref+chr(char)+'',
	f = opener.open(req)
	cookie_val = cj._cookies['cthulhu.fluxfingers.net']['/']['auth'].value
	decoded = base64.b64decode(cookie_val)

	print len(decoded)