search

galaxyproject / planemo-machine

A packer.io configuration for building out Galaxy (http://galaxyproject.org/) tool development environments.
10 stars 16 forks source link

Problem with tool directory monitoring #103

Open jmchilton opened 7 years ago

jmchilton commented 7 years ago

If a tool is added, then removed, then added again it doesn't show up. Probably a bug in Galaxy.

mvdbeek commented 7 years ago

That should in principle work. A quick test on my dev and prod instance did work, but if for any reason the monitoring thread dies this can happen. If you can reproduce this that would be great.