From 10279ed829c5baeabd6430d741de64f349d48e59 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Euzenat?= <Jerome.Euzenat@inria.fr>
Date: Tue, 24 Oct 2006 21:44:35 +0000
Subject: [PATCH] - completed with regard to arguments
---
.../exmo/align/service/jade/JadeFIPAAServProfile.java | 6 ++----
1 file changed, 2 insertions(+), 4 deletions(-)
diff --git a/src/fr/inrialpes/exmo/align/service/jade/JadeFIPAAServProfile.java b/src/fr/inrialpes/exmo/align/service/jade/JadeFIPAAServProfile.java
index 9497ecc3..7e48b030 100755
--- a/src/fr/inrialpes/exmo/align/service/jade/JadeFIPAAServProfile.java
+++ b/src/fr/inrialpes/exmo/align/service/jade/JadeFIPAAServProfile.java
@@ -41,12 +41,11 @@ import jade.wrapper.*;
public class JadeFIPAAServProfile implements AlignmentServiceProfile {
public void init( Parameters params, AServProtocolManager manager ) throws AServException {
- // public void init( int port ) throws IOException {
int port = 8888;
int debug = 0;
- if ( params.getParameter( "jadeport" ) != null )
- port = Integer.parseInt( (String)params.getParameter( "jadeport" ) );
+ if ( params.getParameter( "jade" ) != null )
+ port = Integer.parseInt( (String)params.getParameter( "jade" ) );
if ( params.getParameter( "debug" ) != null )
debug = Integer.parseInt( (String)params.getParameter( "debug" ) ) - 1;
@@ -76,7 +75,6 @@ public class JadeFIPAAServProfile implements AlignmentServiceProfile {
}
catch(Exception e) {
throw new AServException ( "Cannot launch Jade Server" , e );
- // e.printStackTrace();
}
}
--
GitLab