Add link to Zulip in case of errors

viperproject · Aug 10, 2023 · 324c3b8 · 324c3b8
1 parent c29a210
commit 324c3b8
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/package.json b/package.json
@@ -2,7 +2,7 @@
 	"name": "prusti-assistant",
 	"displayName": "Prusti Assistant",
 	"description": "Verify Rust programs with the Prusti verifier.",
-	"version": "0.12.2",
+	"version": "0.12.3",
 	"publisher": "viper-admin",
 	"repository": {
 		"type": "git",

diff --git a/src/diagnostics.ts b/src/diagnostics.ts
@@ -612,7 +612,7 @@ export class DiagnosticsManager {
         const verificationDiagnostics = new VerificationDiagnostics();
         let durationSecMsg: string | null = null;
         const crashErrorMsg = "Prusti encountered an unexpected error. " +
-            "If the issue persists, please open a [bug report](https://github.com/viperproject/prusti-dev/issues/new). " +
+            "If the issue persists, please open a [bug report](https://github.com/viperproject/prusti-dev/issues/new) or contact us on the [Zulip chat](https://prusti.zulipchat.com/). " +
             "See [the logs](command:prusti-assistant.openLogs) for more details.";
         let crashed = false;
         try {

diff --git a/src/server.ts b/src/server.ts
@@ -35,7 +35,7 @@ export function registerCrashHandler(context: vscode.ExtensionContext, verificat
         // Ask the user to restart the server
         util.userErrorPopup(
             "Prusti server stopped working. " +
-            "If the issue persists, please open a [bug report](https://github.com/viperproject/prusti-dev/issues/new). " +
+            "If the issue persists, please open a [bug report](https://github.com/viperproject/prusti-dev/issues/new) or contact us on the [Zulip chat](https://prusti.zulipchat.com/). " +
             "See [the server logs](command:prusti-assistant.openServerLogs) for more details.",
             "Restart Server",
             () => {