new method for JS level: send_terminate()