Changeset 14464

Timestamp:

10/04/12 10:19:05 (12 years ago)

Author:

neise

Message:

added dims-list after startup

File:

• fact/tools/PyDimCtrl/ScriptsForPyDimCtrl.py (modified) (1 diff)

fact/tools/PyDimCtrl/ScriptsForPyDimCtrl.py

@@ -866 +866 @@
   print 'possible sources:'
   print sorted( sourcedict.keys() )
+  
+  print 'available Dim Servers'
+  for dim in dims:
+    print dim.name,
+  print