**** BEGIN LOGGING AT Thu May 10 02:59:56 2007 May 10 13:13:03 Hey all May 10 13:31:18 hey drath May 10 13:31:27 is there a way to run openocd in batch mode? May 10 13:31:49 so it only executes command from stdin or maybe a file and exits afterwards (would be good for production use) **** ENDING LOGGING AT Fri May 11 02:59:56 2007