diff options
| -rw-r--r-- | test/files/run/bug2318.scala | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/test/files/run/bug2318.scala b/test/files/run/bug2318.scala index 8347ed8e7b..cb524471d6 100644 --- a/test/files/run/bug2318.scala +++ b/test/files/run/bug2318.scala @@ -5,9 +5,10 @@ object Test { object Mgr extends SecurityManager { override def checkPermission(perm: Permission) = perm match { - case _: java.lang.RuntimePermission => () - case _: java.io.FilePermission => () - case _ => super.checkPermission(perm) + case _: java.lang.RuntimePermission => () + case _: java.io.FilePermission => () + case x: java.security.AccessControlException if x.getName contains ".networkaddress." => () // generality ftw + case _ => super.checkPermission(perm) } } |