Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Watch tool data table *.loc files, and reload if modified. #3533
The approach here is quite similar to monitoring a directory of tools. This is optional and requires the watchdog library to be installed. Initial testing on our server that accesses the tool-data folder over sshfs indicate that things are going smooth.
This could be extended to become the default, but I think this is a good first step.