From 90ace7fd669afd1c07ac83dc5d9e33e31453c658 Mon Sep 17 00:00:00 2001
From: rnv <rnv@opencascade.com>
Date: Mon, 18 Jun 2007 13:16:05 +0000
Subject: [PATCH] Define correct gui and server libraries name (without lib.*
 prefix and *.so expansion) in the resources xml file.

---
 resources/GHS3DPRLPlugin.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/resources/GHS3DPRLPlugin.xml b/resources/GHS3DPRLPlugin.xml
index 6eaa2f6..b5552f5 100755
--- a/resources/GHS3DPRLPlugin.xml
+++ b/resources/GHS3DPRLPlugin.xml
@@ -7,8 +7,8 @@
 
 <meshers-group name="GHS3DPRL"
                resources="GHS3DPRLPlugin"
-               server-lib="libGHS3DPRLEngine.so"
-               gui-lib="libGHS3DPRLPluginGUI.so">
+               server-lib="GHS3DPRLEngine"
+               gui-lib="GHS3DPRLPluginGUI">
   <hypotheses>
     <hypothesis type="GHS3DPRL_Parameters"
 		label-id="GHS3DPRL Parameters"
-- 
2.39.2