diff rlgterm.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 9758ca68e7f1
children f3843245a35e
line wrap: on
line diff