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