Closed mvdbeek closed 8 years ago
Force a galaxy restart only if necessary (when a new admin has been added to galaxy.ini), and trigger handler to restart galaxy if tools have been installed.
Thanks @bgruening
Force a galaxy restart only if necessary (when a new admin has been added to galaxy.ini), and trigger handler to restart galaxy if tools have been installed.