I do not know why /on leave was named what it was, but it is mis-named
and causes me grief for people who are looking for a way to hook PARTs.
In epic5, we have scripted the /leave command, so that puts one more nail
in the coffin of the word "leave" as a substitute for "part".

My proposal is that in epic5, we change /on leave to /on part to better 
reflect its purpose.  This will be a backwards incomaptable change.

I would prefer to just cut this over, but if many people object, I will 
try to device some system where a single on type can have multiple names,
which automagically get converted to the canonical name.  If nobody really
cares about /on leave enough to want to keep it around, we should ditch it.

Jeremy
_______________________________________________
List mailing list
[email protected]
http://epicsol.org/mailman/listinfo/list

Reply via email to