+void eDVBCI_UI::setState(int slot, int newState)
+{
+ state[slot] = newState;
+}
+
+std::string eDVBCI_UI::getAppName(int slot)
+{
+ return appName;
+}
+
+void eDVBCI_UI::setAppName(int slot, const char *name)
+{
+ printf("set name to -%c-\n", name);
+ appName = name;
+}
+
+void eDVBCI_UI::setReset(int slot)
+{
+ printf("reset requested on slot %d\n", slot);
+ //we have to call the eDVBCISlot here
+}
+