15 Commits

Author	SHA1	Message	Date
Markus Pfeiffer	422fd6057e	Fix shebangs in scripts so that they work on non-linuxey systems (#9254)	2019-06-13 19:42:43 +02:00
Jan Christoph Uhde	89384dd767	fix startLocalCluster for darwin (#3641)	2017-11-09 20:08:35 +01:00
Jan Christoph Uhde	27460a92e1	Store parameters of startLocalCluster.sh (#3593) ... Store parameters of startLocalCluster.sh This should help you to bring the cluster up again when you continue to work after some time without investigating the port numbers. Restore parameters if no arguments are given	2017-11-08 11:26:54 +01:00
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