(pointer to server/service/host-process termination requested flag)
so js.terminated should be used in place of server.terminated for universal
scripts.