/** The node manager. */
private NodeManager nodeManager;
+ /** The request manager. */
+ private RequestManager requestManager;
+
//
// LISTENER MANAGEMENT
//
}
/**
+ * Sets the request manager.
+ *
+ * @param requestManager
+ * The request manager
+ */
+ public void setRequestManager(RequestManager requestManager) {
+ this.requestManager = requestManager;
+ }
+
+ /**
* {@inheritDoc}
*/
public List<Node> getNodes() {
*/
public void stop() {
logger.log(Level.INFO, "stopping core…");
+ saveConfig();
try {
projectManager.save();
coreListenerSupport.fireSavingProjectsDone(projectManager.getDirectory());
/**
* Saves the configuration.
*/
- @SuppressWarnings("unused")
private void saveConfig() {
logger.log(Level.FINEST, "saveConfig()");
/* TODO */