no bug
Merge branch 'server_debugging' of https://github.com/woinck/DS15-dev into server_debugging

Conflicts:
	sserver.py