comparison termemu.js @ 200:a7cc38a0168d

Actually restart RLGWebD if it crashes. Also, rlgwebd-stop will no longer crash if RLGWebD has already stopped.
author John "Elwin" Edwards
date Sat, 23 Apr 2016 18:53:08 -0400
parents 1d3cfe10974a
children d60063a674e1
comparison
equal deleted inserted replaced
199:34e1bc4fd6b2 200:a7cc38a0168d