18 Dec
2012
18 Dec
'12
11:57 a.m.
On Dec 18, 2012, at 12:51 PM, greg <margeemail@gmail.com> wrote:
Hi guys,
When I make a change to welcome.html how do I get galaxy to start displaying the new version?
Thanks,
Greg
In my experience you have to restart all web server paster processes. Cheers, Alex