anchor.diff:              new CaughtException(exception, stackTrace));
         }
         _sendServerErrorNotification(exception, stackTrace);
  +      shutdown();
       } finally {
         if (!operationQueue.isEmpty) {
           _schedulePerformOperation();
  
positive.code:   }
  
    /**
     * Sends a non-fatal `server.error` notification.
     */
    void _sendServerErrorNotification(exception, stackTrace) {
      // prepare exception.toString()
  
negative.code:     }
      // send the notification
      Notification notification = new Notification(SERVER_ERROR);
      notification.setParameter(FATAL, true);
      notification.setParameter(MESSAGE, exceptionString);
      notification.setParameter(STACK_TRACE, stackTraceString);
      channel.sendNotification(notification);
  