fix  shutdown of BaseWSGIServer according to bug 900792