Actually, you can simply put any commands you want to execute into a file
for example
cat > gdb.cmds
where
quit
^D
and use them with the --commands="file" option as in
gdb --commands=gdb.cmds dmserver dmserver.core >> core.log
--Paul Cole
----------------
Shameless Plug-- Forbidden Lands -- mud.cyberspace.com 5000
http://www.cyberspace.com/flmud
This archive was generated by hypermail 2b30 : 12/18/00 PST