langtools/src/jdk.jshell/share/classes/jdk/jshell/execution/Util.java
changeset 41941 a935ac3f5274
parent 41628 664e7664343d
child 42969 a48d4f74d322
equal deleted inserted replaced
41940:048d559e9da7 41941:a935ac3f5274
   237      *
   237      *
   238      * @param vm the virtual machine to check
   238      * @param vm the virtual machine to check
   239      * @param unbiddenExitHandler the handler, which will accept the exit
   239      * @param unbiddenExitHandler the handler, which will accept the exit
   240      * information
   240      * information
   241      */
   241      */
   242     public static void detectJDIExitEvent(VirtualMachine vm, Consumer<String> unbiddenExitHandler) {
   242     public static void detectJdiExitEvent(VirtualMachine vm, Consumer<String> unbiddenExitHandler) {
   243         if (vm.canBeModified()) {
   243         if (vm.canBeModified()) {
   244             new JDIEventHandler(vm, unbiddenExitHandler).start();
   244             new JdiEventHandler(vm, unbiddenExitHandler).start();
   245         }
   245         }
   246     }
   246     }
   247 
   247 
   248     /**
   248     /**
   249      * Log a serious unexpected internal exception.
   249      * Log a serious unexpected internal exception.