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