Bug fix.
[drlaunch] / drlaunch_widget.py
2010-06-24 Stefanos Harhalakis(no commit message)