# HG changeset patch
# User Jaroslav Tulach <jaroslav.tulach@apidesign.org>
# Date 1381350384 -7200
# Node ID b37e6e49d9d6f444e67b4551234f0edd4ff961b8
# Parent  1b333e5804f5c956813f4baf094a9636f18c3bc7
System.getProperty('os.name') does not throw exception in javax.script mode

diff -r 1b333e5804f5 -r b37e6e49d9d6 rt/emul/compact/src/main/java/java/lang/System.java
--- a/rt/emul/compact/src/main/java/java/lang/System.java	Wed Oct 09 22:04:11 2013 +0200
+++ b/rt/emul/compact/src/main/java/java/lang/System.java	Wed Oct 09 22:26:24 2013 +0200
@@ -50,7 +50,7 @@
         return null;
     }
     
-    @JavaScriptBody(args = {}, body = "return navigator.userAgent;")
+    @JavaScriptBody(args = {}, body = "return (typeof navigator !== 'undefined') ? navigator.userAgent : 'unknown';")
     private static native String userAgent();
     
     public static String getProperty(String key, String def) {