To use PolyGerrit, please enable JavaScript in your browser settings, and then refresh this page. openocd.c: call server_quit() for cmd line with -c shutdown (I6df41c5d) ยท Gerrit Code Review