diff --git a/rse/plugins/org.eclipse.dstore.core/src/org/eclipse/dstore/internal/core/server/ServerCommandHandler.java b/rse/plugins/org.eclipse.dstore.core/src/org/eclipse/dstore/internal/core/server/ServerCommandHandler.java index ff16490b114..0ad70b0efe6 100644 --- a/rse/plugins/org.eclipse.dstore.core/src/org/eclipse/dstore/internal/core/server/ServerCommandHandler.java +++ b/rse/plugins/org.eclipse.dstore.core/src/org/eclipse/dstore/internal/core/server/ServerCommandHandler.java @@ -91,6 +91,7 @@ public class ServerCommandHandler extends CommandHandler _minerLoader = new MinerLoader(_dataStore, _loaders); } + _dataStore.trace("loading "+minerId); //$NON-NLS-1$ // load and connect the miner Miner miner = _minerLoader.loadMiner(minerId); if (miner != null)