diff src/server/server.py @ 507:b7988fdd4329

reverted commit 7d37bb042042 which is actualy useless
author Goffi <goffi@goffi.org>
date Wed, 20 Aug 2014 23:04:15 +0200
parents e588335b6aa8
children 530c88c1deee
line wrap: on
line diff