Permalink
Browse files

Print the debugger command if it's from a script

  • Loading branch information...
nbrown committed May 18, 2012
1 parent 6544c88 commit c03af381f3836626a87f0d51b4b4bdf28b4e1405
Showing with 4 additions and 0 deletions.
  1. +4 −0 src/m0/c/m0_debugger.c
View
@@ -393,6 +393,10 @@ get_db_user_input(M0_Debugger_Info *db_info, M0_Debugger_Command *cmd, char *arg
if (p) {
char *tok = NULL;
+
+ if(db_info->input_source != NULL)
+ printf("%s\n", input);
+
tok = strtok(input, " ");
if(tok)
*cmd = str_to_db_cmd(tok);

0 comments on commit c03af38

Please sign in to comment.