Firefox fix

This commit is contained in:
Jeff Parsons 2016-02-17 11:20:09 -08:00
commit c69f2ee51f
2 changed files with 12 additions and 10 deletions

View file

@ -8072,6 +8072,7 @@ if (DEBUGGER) {
break;
}
this.println((APPNAME || "PCjs") + " version " + (XMLVERSION || APPVERSION) + " (" + this.cpu.model + (COMPILED? ",RELEASE" : (DEBUG? ",DEBUG" : ",NODEBUG")) + (PREFETCH? ",PREFETCH" : ",NOPREFETCH") + (TYPEDARRAYS? ",TYPEDARRAYS" : (BYTEARRAYS? ",BYTEARRAYS" : ",LONGARRAYS")) + (BACKTRACK? ",BACKTRACK" : ",NOBACKTRACK") + ')');
this.println(web.getUserAgent());
break;
case 'x':
this.doExecOptions(asArgs);