Max Neunhoeffer 2f1b0fe061 Use API to shut down servers.		2014-02-12 12:17:52 +01:00
..
agency-communication.js	Rename sharding dir to cluster	2014-01-31 11:24:01 +01:00
kickstarter.js	Use API to shut down servers.	2014-02-12 12:17:52 +01:00
planner.js	Add authentication between dispatchers.	2014-02-12 09:37:18 +01:00