Merge pull request #614 from 4ever2/ipv6-fix

[VsCoq1] Fix IP issue with VS Code 1.82.0

server/src/server.ts

@@ -13,13 +13,18 @@ import * as coqproto from './protocol';
 import {Settings} from './protocol';
 import {CoqProject} from './CoqProject';
 import { RouteId } from './coqtop/coq-proto';
+import { setDefaultResultOrder } from 'dns';
 
 // Create a connection for the server. The connection uses 
 // stdin / stdout for message passing
 export let connection: IConnection = createConnection();
 
 export let project : CoqProject = null;
 
+// Tell node to prefer ipv4, this is necessary due to changes in node 18.x
+// since coqidetop and coqtop does not support ipv6
+setDefaultResultOrder('ipv4first');
+
 // // Create a simple text document manager. The text document manager
 // // supports full document sync only
 // let documents: TextDocuments = new TextDocuments();