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