12 Commits

Author	SHA1	Message	Date
Mark Volmary	b5f69f9ca4	Add startLocalCluster.sh option --ongoing-ports	2017-06-09 16:20:42 +02:00
Kaveh Vahedipour	bc06d14bb3	shutdown uses jwt secrets	2017-05-18 14:26:29 +02:00
Kaveh Vahedipour	5d03744696	shutdown local cluster waits for pids to have gone	2017-05-17 14:55:41 +02:00
Kaveh Vahedipour	7a571b6c2b	shutdown local cluster waits for pids to have gone	2017-05-17 14:44:22 +02:00
Kaveh Vahedipour	511fa4036d	more smooth local cluster start and shutdown	2017-05-17 11:10:05 +02:00
Kaveh Vahedipour	a211e5ee83	ipv4 is so yesterday	2017-04-24 11:08:04 +02:00
Andreas Streichardt	0bf00036c6	Streamline shutdown and start	2017-03-29 11:55:02 +02:00
Simon Grätzer	ac37e7c85e	Fixing recovery	2017-01-16 13:58:30 +01:00
Simon Grätzer	c985c00d26	Fixing recovery operations	2017-01-14 16:46:18 +01:00
Max Neunhoeffer	1bdf414de2	Improve shutdownLocalCluster script.	2016-09-23 15:23:03 +02:00
Max Neunhoeffer	cd68c810bc	Hide some error output.	2016-06-10 14:41:26 +02:00
Max Neunhoeffer	73f7d152ee	New shutdownLocalCluster.sh script.	2016-06-10 12:02:31 +02:00