hg: dio/dev: 2 new changesets

[sergey.nazarkin at oracle.com]

Changeset: 06ce348f358a
Author:    snazarki
Date:      2015-05-21 13:12 +0300
URL:       http://hg.openjdk.java.net/dio/dev/rev/06ce348f358a

8080841: Can't register custom configuration
Summary: DeviceManager probes no more DeviceProvider at DeviceManager.open(String name...
Reviewed-by: alkonsta

! src/share/classes/jdk/dio/DeviceManager.java

Changeset: 30bb431d877e
Author:    snazarki
Date:      2015-05-21 13:17 +0300
URL:       http://hg.openjdk.java.net/dio/dev/rev/30bb431d877e

8080838: new DevicePermission("\\:-1:\:-1", "open").implies(new DevicePermission("\\:-1:\:-1", "open")) causes an infinite loop
Summary: Fixed permission name parser
Reviewed-by: snazarki
Contributed-by: olga.milovskaya at oracle.com

! src/share/classes/jdk/dio/DeviceMgmtPermission.java
! src/share/classes/jdk/dio/DevicePermission.java