Index: /fact/tools/PyDimCtrl/ScriptsForPyDimCtrl.py
===================================================================
--- /fact/tools/PyDimCtrl/ScriptsForPyDimCtrl.py	(revision 14463)
+++ /fact/tools/PyDimCtrl/ScriptsForPyDimCtrl.py	(revision 14464)
@@ -866,2 +866,7 @@
   print 'possible sources:'
   print sorted( sourcedict.keys() )
+  
+  print 'available Dim Servers'
+  for dim in dims:
+    print dim.name,
+  print