server: add function to get openocd shutdown status