From 2fe63182fe773feed81aa320a3ddfeb7a18dfcd3 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Wed, 1 Feb 2023 18:23:40 +0100
Subject: [PATCH] Update ProB website/wiki links
---
README.md | 2 +-
.../de/bmotionstudio/gef/editor/handler/OpenWebsiteHandler.java | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/README.md b/README.md
index c3a5b9d9..bbd46cec 100644
--- a/README.md
+++ b/README.md
@@ -9,7 +9,7 @@
The ProB source code is distributed under the EPL license (http://www.eclipse.org/org/documents/epl-v10.html).
(C) 2000-2021 Michael Leuschel and many others.
-For updates please visit the ProB website: https://www3.hhu.de/stups/prob/
+For updates please visit the ProB website: https://prob.hhu.de/w/
ProB comes with ABSOLUTELY NO WARRANTY OF ANY KIND! This software is distributed in the hope that it will be useful but WITHOUT ANY WARRANTY. The author(s) do not accept responsibility to anyone for the consequences of using it or for whether it serves any particular purpose or works at all. No warranty is made about the software or its performance.
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/handler/OpenWebsiteHandler.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/handler/OpenWebsiteHandler.java
index 8bf210d5..5a956e44 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/handler/OpenWebsiteHandler.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/handler/OpenWebsiteHandler.java
@@ -19,7 +19,7 @@ import de.prob.logging.Logger;
public class OpenWebsiteHandler extends AbstractHandler {
- private static final String URL = "https://www3.hhu.de/stups/prob/index.php/BMotion_Studio";
+ private static final String URL = "https://prob.hhu.de/w/index.php/BMotion_Studio";
public Object execute(ExecutionEvent event) throws ExecutionException {
try {
--
GitLab