anchor.diff:     * TODO(paulberry): get rid of this once the 'analysis.updateSdks' request is
      * operational.
      */
  -  static const String SDK_OPTION = 'sdk';
  +  static const String SDK_OPTION = "sdk";
  +
  +  /**
  +   * The name of the option used to disable error notifications.
  +   */
  +  static const String NO_ERROR_NOTIFICATION = "no-error-notification";
   
     SocketServer socketServer;
   
  
positive.code:         PORT_OPTION,
          help: "[port] the port on which the server will listen");
      parser.addOption(SDK_OPTION, help: "[path] the path to the sdk");
  
      ArgResults results = parser.parse(args);
      if (results[HELP_OPTION]) {
  
negative.code:   /**
     * The name of the application that is used to start a server.
     */
    static const BINARY_NAME = "server";
  
    /**
     * The name of the option used to enable instrumentation.
  