Ctrl-D on main console ensures proper termination protocol