summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorJose Antonio Ortega Ruiz <jao@gnu.org>2001-06-18 22:43:20 +0000
committerJose Antonio Ortega Ruiz <jao@gnu.org>2001-06-18 22:43:20 +0000
commite68486595ea4da9365c7ab56a915e4a8ad905376 (patch)
tree3ed1825aa827eeeb574f141d4bec9f3c3a2836f3
parent8f9cef7439c54600f536b04ae82047da6fa16646 (diff)
downloadmdk-e68486595ea4da9365c7ab56a915e4a8ad905376.tar.gz
mdk-e68486595ea4da9365c7ab56a915e4a8ad905376.tar.bz2
(cmd_psym_) symbols printed to the correct stream
-rw-r--r--mixlib/mix_vm_command.c5
1 files changed, 3 insertions, 2 deletions
diff --git a/mixlib/mix_vm_command.c b/mixlib/mix_vm_command.c
index 8068ce1..e6f7e79 100644
--- a/mixlib/mix_vm_command.c
+++ b/mixlib/mix_vm_command.c
@@ -726,7 +726,8 @@ cmd_psym_ (mix_vm_cmd_dispatcher_t *dis, const gchar *arg)
{
if ( mix_symbol_table_is_defined (table, arg) )
{
- mix_word_print (mix_symbol_table_value (table, arg), NULL);
+ mix_word_print_to_file (mix_symbol_table_value (table, arg),
+ NULL, dis->out);
putc ('\n', dis->out);
result = TRUE;
}
@@ -735,7 +736,7 @@ cmd_psym_ (mix_vm_cmd_dispatcher_t *dis, const gchar *arg)
}
else
{
- mix_symbol_table_print (table, MIX_SYM_ROWS, stdout, TRUE);
+ mix_symbol_table_print (table, MIX_SYM_ROWS, dis->out, TRUE);
result = TRUE;
}