view src/.dbxinit @ 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 18e524802887
children
line wrap: on
line source

ignore 14
catch 18
ignore 20
ignore 23
alias s step
alias n next
alias c cont
alias st status
alias r run
alias l list
alias f file
alias q quit
alias w where
alias d delete
alias p print