From dd7d9e2ed779592a96ff970e9e2d0c3f1872aa09 Mon Sep 17 00:00:00 2001
From: Giacomo Strangolino <giacomo.strangolino@elettra.eu>
Date: Tue, 27 Aug 2024 08:45:35 +0200
Subject: [PATCH] #22451: MojoDojo browser removed, MojoDojo Launcher moved up
---
padres.xml | 10 +++-------
1 file changed, 3 insertions(+), 7 deletions(-)
diff --git a/padres.xml b/padres.xml
index cfde850..60f9b13 100644
--- a/padres.xml
+++ b/padres.xml
@@ -85,6 +85,9 @@
<!--Utilities-->
<folder folded="yes" envpath="/runtime/bin">
<title>Utilities</title>
+ <element path="/runtime/bin/" exename="browser {HOME}/colf/git-dev/PadresMojoDojo/mojodojo.xml" executable="yes">
+ <title>PADReS MojoDojo Launcher (EH ws only)</title>
+ </element>
<element path="/usr/local/tango-9.3.3/bin" exename="jive -r" executable="yes">
<title>Jive (read-only)</title>
<description>Manage TANGO Database (read-only)</description>
@@ -113,13 +116,6 @@
<title>PADReS PDU browser (remote power on/off)</title>
</element>
- <element exename="python3 {HOME}/git-dev/PadresMojoDojo/launcher.py" executable="yes">
- <title>PADReS MojoDojo Browser (EH ws only)</title>
- </element>
-
- <element path="/runtime/bin/" exename="browser {HOME}/colf/git-dev/PadresMojoDojo/mojodojo.xml" executable="yes">
- <title>PADReS MojoDojo Launcher (EH ws only)</title>
- </element>
<folder folded="yes" envpath="/runtime/bin">
--
GitLab