deferred server initialization until first request; fixed a bug in red.js