gateone.js and terminal.js:  Fixed a bug where you'd get an exception regarding "logFatal" being undefined.