serg@serg.mysql.com 4aa8f0adc1 fixes: --gdb does not implies --manager ...

--manager implies --skip-gdb-magic
(which was introduced to make --gdb usable w/o manager)

2001-11-20 17:59:57 +01:00

30 KiB

Raw Blame History

View Raw