Fix restart handler failing randomly (fix #47).#48

Open

JMLX42 wants to merge 1 commit intoOefenweb:masterfrom aerys:fix/47

+20-3

Commits on Aug 5, 2018

Fix restart handler failing randomly (fix Oefenweb#47 ).
JMLX42
committed