Fixed widget disposed error when refreshing server label. Ensured that
refresh modules does not cause an error that prevents WST from finishing
an operation.