[DL-Learner SVN] SF.net SVN: dl-learner:[1213] trunk/src/dl-learner/org/dllearner/gui

[<jen...@us...>]

Revision: 1213
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=1213&view=rev
Author:   jenslehmann
Date:     2008-09-15 13:30:02 +0000 (Mon, 15 Sep 2008)

Log Message:
-----------
small fixes

Modified Paths:
--------------
    trunk/src/dl-learner/org/dllearner/gui/Config.java
    trunk/src/dl-learner/org/dllearner/gui/RunPanel.java
    trunk/src/dl-learner/org/dllearner/gui/StatisticsThread.java

Modified: trunk/src/dl-learner/org/dllearner/gui/Config.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/gui/Config.java	2008-09-15 13:17:51 UTC (rev 1212)
+++ trunk/src/dl-learner/org/dllearner/gui/Config.java	2008-09-15 13:30:02 UTC (rev 1213)
@@ -614,7 +614,7 @@
 				return false;
 			}
 		} else if(component instanceof KBFile) {
-			if(cm.getConfigOptionValue(source, "url") == null && cm.getConfigOptionValue(source, "filename") == null) {
+			if(cm.getConfigOptionValue(source, "url") == null) {
 				return false;
 			}
 		} else if(component instanceof PosNegLP) {

Modified: trunk/src/dl-learner/org/dllearner/gui/RunPanel.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/gui/RunPanel.java	2008-09-15 13:17:51 UTC (rev 1212)
+++ trunk/src/dl-learner/org/dllearner/gui/RunPanel.java	2008-09-15 13:30:02 UTC (rev 1213)
@@ -343,4 +343,12 @@
 		}
 		return string;
 	}
+	
+	/**
+	 * Method is called when algorithm has terminated successfully.
+	 */
+	public void algorithmTerminated() {
+		stopButton.setEnabled(false);
+		runButton.setEnabled(true);
+	}
 }

Modified: trunk/src/dl-learner/org/dllearner/gui/StatisticsThread.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/gui/StatisticsThread.java	2008-09-15 13:17:51 UTC (rev 1212)
+++ trunk/src/dl-learner/org/dllearner/gui/StatisticsThread.java	2008-09-15 13:30:02 UTC (rev 1213)
@@ -53,6 +53,7 @@
 			}
 			// show final stats
 			runPanel.showStats();
+			runPanel.algorithmTerminated();
 		} catch (InterruptedException e) {
 			e.printStackTrace();
 		}


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.