Marking as "High" as the work around for this bug, once a user is bit by it, is to have someone in the datacenter physically power cycle a machine.
Marking as "High" as the work around for this bug, once a user is bit by it, is to have someone in the datacenter physically power cycle a machine.