Who's Live?
arthur: arthur1 is live.
edison: edison1 is live.
tintin: tintin2 is live.
dev: dev1 is live.