Updating API

This commit is contained in:
2015-12-17 11:29:13 +01:00
parent ce0c3040a5
commit f8f738651c
3 changed files with 3 additions and 18 deletions

View File

@@ -1,16 +0,0 @@
#Thu Dec 04 18:06:51 CET 2014
dataPath={home}/data
logPath={home}/log
logLevel=Info
libraryPath={script}; {script}/site-packages
scriptPath={home}/script
serverPort=-1
contextPath={home}/context
logDaysToLive=-1
devicePoolFile={devices}/devices.properties
homePath=./home
deviceUpdateStrategyFile={devices}/update.properties
devicesPath={home}/devices
test=false
sessionsPath={home}/sessions
scriptType=py

View File

@@ -3,7 +3,7 @@
*/
package ch.psi.plugin;
import ch.psi.pshell.dev.Device;
import ch.psi.pshell.device.Device;
import ch.psi.utils.State;
/**

View File

@@ -4,6 +4,7 @@
package ch.psi.plugin;
import ch.psi.pshell.device.Device;
import ch.psi.pshell.ui.Plugin;
import ch.psi.utils.State;
import ch.psi.utils.swing.SwingUtils;
@@ -39,7 +40,7 @@ public class TestPlugin implements Plugin{
@Override
public void onInitialize(int runCount){
panel.setDevice(getDevice("motor"));
panel.setDevice((Device)getDevice("motor"));
}