Johann Schleier-Smith 6ad2b5d87a Add Redis port option to startup script (#232) ... * specify redis address when starting head * cleanup * update starting cluster documentation * Whitespace. * Address Philipp's comments. * Change redis_host -> redis_ip_address.		2017-01-31 00:28:00 -08:00
..
test.py	Add Redis port option to startup script (#232)	2017-01-31 00:28:00 -08:00