diff src/.gdbinit @ 85944:69f410562c03

(server-start): Only register cleanup after server was started.
author Andreas Schwab <schwab@suse.de>
date Wed, 07 Nov 2007 00:27:01 +0000
parents e903d611edc5
children 0dd5043f1b3e bdb3fe0ba9fa
line wrap: on
line diff