src/java.sql/share/classes/java/sql/DriverManager.java
changeset 52902 e3398b2e1ab0
parent 51972 67619141f027
equal deleted inserted replaced
52901:3ba9ff4d4aaf 52902:e3398b2e1ab0
   620                 }
   620                 }
   621             });
   621             });
   622 
   622 
   623             println("DriverManager.initialize: jdbc.drivers = " + drivers);
   623             println("DriverManager.initialize: jdbc.drivers = " + drivers);
   624 
   624 
   625             if (drivers != null && !drivers.equals("")) {
   625             if (drivers != null && !drivers.isEmpty()) {
   626                 String[] driversList = drivers.split(":");
   626                 String[] driversList = drivers.split(":");
   627                 println("number of Drivers:" + driversList.length);
   627                 println("number of Drivers:" + driversList.length);
   628                 for (String aDriver : driversList) {
   628                 for (String aDriver : driversList) {
   629                     try {
   629                     try {
   630                         println("DriverManager.Initialize: loading " + aDriver);
   630                         println("DriverManager.Initialize: loading " + aDriver);