[monitor] Add API for server list update

Samsung / Dexter

Dexter is a static analysis platform to find and remove defects efficiently and immediately during the coding-time.

BSD 2-Clause "Simplified" License

56 stars 33 forks source link

[monitor] Add API for server list update #107

Closed marchpig closed 7 years ago

marchpig commented 7 years ago

When a dexter-server is added to DB, dexter-monitor should be re-started again to update server list before. This commit adds an API to resolve this inconvenience.