Coral updating slowly, 5pm Fri 11/18

[John Shott]

Jason

I just restarted the servers. Let me know if that doesn't help 

John

Sent from my iPhone

On Nov 18, 2011, at 5:16 PM, Jason Matthew Parker <jaypark at stanford.edu> wrote:

> 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
> --------------------
>