error handling

impermeable · Feb 7, 2023 · 8fde985 · 8fde985
1 parent da02e3f
commit 8fde985
Showing 1 changed file with 5 additions and 7 deletions.
diff --git a/src/coq/serapi/processors/SerapiSearchProcessor.js b/src/coq/serapi/processors/SerapiSearchProcessor.js
@@ -1,8 +1,8 @@
 import SerapiProcessor from '../util/SerapiProcessor';
 import {Mutex} from 'async-mutex';
 import {
-  createCheckCommand, createIndexedQueryVernacCommand,
-  createSearchCommand,
+  createCheckCommand, createQueryVernacCommand,
+  createIndexedQueryVernacCommand, createSearchCommand,
 } from '../util/SerapiCommandFactory';
 import {COQ_EXCEPTION, parseErrorResponse} from '../SerapiParser';
 
@@ -218,10 +218,9 @@ class SerapiSearchProcessor extends SerapiProcessor {
    */
   async _queryCommand(command) {
     try {
-      const sentenceId = this.state.idOfSentence(this.state.lastExecuted);
       return this.sendCommand(
           createIndexedQueryVernacCommand(
-              command, sentenceId), 'raw',
+              command, this.state.idOfSentence(this.state.lastExecuted)), 'raw',
           (feedback) => {
             return {
               result: feedback.string,
@@ -236,10 +235,9 @@ class SerapiSearchProcessor extends SerapiProcessor {
             }
           });
     } catch (e) {
-      const sentenceId = 1;
       return this.sendCommand(
-          createIndexedQueryVernacCommand(
-              command, sentenceId), 'raw',
+          createQueryVernacCommand(
+              command), 'raw',
           (feedback) => {
             return {
               result: feedback.string,