![](https://secure.gravatar.com/avatar/5a87f368bcdc80a8a4b779db0bbb0cc3.jpg?s=120&d=mm&r=g)
2 Dec
2010
2 Dec
'10
6:14 p.m.
Hi, We have a local galaxy mirror installed and running. Is there a way to add new tools without restarting galaxy? Thanks! Chaolin