Arm build id: #93 Unknown server crash

[Jammet]

Today I found the server had crashed while a player was playing. I could not ask what the player did, when this happened, yet, but here is the info I can give you right now:

[19:53:56] Deadlock detected, aborting the server
[19:53:56] D: | MCServer has encountered an error and needs to close
[19:53:56] Details | SIGABRT: Server self-terminated due to an internal fault
[19:53:56] MCServer Jenkins gcc armhf Release (master) build id: #93
[19:53:56] from commit id: 84e31ba670c05d38e83cba0bcdfba32d52c01ad9 built at: Sat 18 Jul 00:46:56 CEST 2015
./MCServer(_Z15PrintStackTracev+0x14)[0x1eb4ec]
./MCServer(_Z14NonCtrlHandleri+0x8c)[0x1d881c]
/lib/arm-linux-gnueabihf/libc.so.6(__default_sa_restorer_v2+0x0)[0x76cf2b20]
/lib/arm-linux-gnueabihf/libc.so.6(gsignal+0x40)[0x76cf18dc]

[LO1ZB]

Is the Nether generated? If not, he most likly tryed to enter it.

[Jammet]

I've talked to that person and he says he doesn't even remember -.-. Dang.

Yes, the nether has been visited many times, but currently, as described here https://github.com/cuberite/cuberite/issues/2316 , we're having problems with it. Maybe the crash is related to that.