Coral updating slowly, 5pm Fri 11/18

Fri Nov 18 17:16:45 PST 2011

Having trouble seeing Coral update. Confirmed with 3 different users. It updates when you close Coral and open it up again. Logging in and out of a session doesn't seem to show an updated list of enabled tools.

Jason

-------------------
Stanford University
Ph. D. Candidate, Electrical Engineering

330 Serra Mall
Stanford, CA 94305-4075

Office: Allen 300X
Phone:  650-725-0419
Mobile: 650-380-2890
--------------------