print time.clock() in main server loop
Fixed rainbow, I think.