added ws-stop-all convenience function