solve mirror bug
tmp
tmp
for pull
for pull
Merge branch 'server_debugging' of https://github.com/woinck/DS15-dev into server_debugging