Fixed termination of wait_seed (Closes #555).
Fixed termination of wait_seed (Closes #555).

trolando/ltsmin,lordqwerty/ltsmin,Sybe/composition,Sybe/composition,trolando/ltsmin,lordqwerty/ltsmin,thedobs/LTSmin,thedobs/LTSmin,vbloemen/ltsmin,vbloemen/ltsmin,utwente-fmt/ltsmin,vbloemen/ltsmin,Meijuh/ltsmin,utwente-fmt/ltsmin,vbloemen/ltsmin,alaarman/ltsmin,Meijuh/ltsmin,buschko/ltsmin,vbloemen/ltsmin,alaarman/ltsmin,utwente-fmt/ltsmin,thedobs/LTSmin,Sybe/composition,utwente-fmt/ltsmin,utwente-fmt/ltsmin,trolando/ltsmin,Meijuh/ltsmin,buschko/ltsmin,lordqwerty/ltsmin,Sybe/composition,alaarman/ltsmin,Meijuh/ltsmin,buschko/ltsmin,alaarman/ltsmin,trolando/ltsmin,alaarman/ltsmin,vbloemen/ltsmin,Meijuh/ltsmin,thedobs/LTSmin,Meijuh/ltsmin,buschko/ltsmin,vbloemen/ltsmin,alaarman/ltsmin,utwente-fmt/ltsmin,lordqwerty/ltsmin