A little bug report.
A player wanted to connect to the server with the username defaultPlayer.
I created defaultPlayer before.
client used Windows,
Server used Linux.
<Server> Player defaultPlayer joined the galaxy
backtrace() returned 12 addresses
[bt] #1 /lib/x86_64-linux-gnu/libc.so.6(+0x35180) [0x7f059e6ff180]
sh: 1: addr2line: not found
[bt] #2 bin/SpaceServer() [0x49d411]
sh: 1: addr2line: not found
[bt] #3 bin/SpaceServer() [0x49dbb3]
sh: 1: addr2line: not found
[bt] #4 bin/SpaceServer() [0x4bb3d2]
sh: 1: addr2line: not found
[bt] #5 bin/SpaceServer() [0x55bae7]
sh: 1: addr2line: not found
[bt] #6 bin/SpaceServer() [0x55cd03]
sh: 1: addr2line: not found
[bt] #7 bin/SpaceServer() [0x5020f4]
sh: 1: addr2line: not found
[bt] #8 bin/SpaceServer() [0x55b90a]
sh: 1: addr2line: not found
[bt] #9 bin/SpaceServer() [0x5b362a]
sh: 1: addr2line: not found
[bt] #10 /lib/x86_64-linux-gnu/libpthread.so.0(+0x80a4) [0x7f059f1880a4]
sh: 1: addr2line: not found
[bt] #11 /lib/x86_64-linux-gnu/libc.so.6(clone+0x6d) [0x7f059e7b004d]
sh: 1: addr2line: not found
After that the server crashed.
Restarting it was no Problem.