diff src/.gdbinit @ 73628:97c917d6101a

(server-auth-key): Remove. Replace by a process-property. (server-start): Don't remove the file of the previous process, but instead clear out the place for the new file. (server-start): Set the :auth-key property. (server-process-filter): Use the :auth-key property.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Thu, 02 Nov 2006 23:46:14 +0000
parents 00776be18466
children 8079b89022bf 694bbb62a75d 7f3f771c85fa
line wrap: on
line diff