WebSoccer 0.4 server