shutdown should also exit (don't really car about the answer (at least VSCode does not care and others exit))

badetitou · badetitou · commit dcf31672d899 · 2025-06-02T11:36:11.000+02:00
diff --git a/src/PharoLanguageServer/PLSAbstractServer.class.st b/src/PharoLanguageServer/PLSAbstractServer.class.st
@@ -334,6 +334,7 @@ PLSAbstractServer >> serverInitialized [
 PLSAbstractServer >> serverShutdown [
 
 	<jrpc: #shutdown>
+	self serverExit.
 	^ nil
 ]
 

Original file line number	Diff line number	Diff line change
`@@ -334,6 +334,7 @@ PLSAbstractServer >> serverInitialized [`
`334`	`334`	`PLSAbstractServer >> serverShutdown [`
`335`	`335`
`336`	`336`	`<jrpc: #shutdown>`
	`337`	`+ self serverExit.`
`337`	`338`	`^ nil`
`338`	`339`	`]`
`339`	`340`