quick game wasn't checking for hidden themes. It should, but this will at least make them not-crash. The results are kind of amusing.

use mio;

pub const PROTOCOL_VERSION : u32 = 3;
pub const SERVER: mio::Token = mio::Token(1000000000 + 0);