kresd is not terminated after KeyboardInterupt of kresd_run.sh
Terminal window remains hanging after the line:
KeyboardInterrupt
kresd
has to be killed manually.
Terminal window remains hanging after the line:
KeyboardInterrupt
kresd
has to be killed manually.