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
commit8a51387cd162a37bac2a51d50ef7b857fa25db01 (patch)
tree2aab0840c99043a98ab3da5cd729b25a5e6eac6d
parent501620d02a585165fddea620f374df99a6a74dd6 (diff)
downloadmdk-8a51387cd162a37bac2a51d50ef7b857fa25db01.tar.gz
mdk-8a51387cd162a37bac2a51d50ef7b857fa25db01.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;
}