Node:async-new-user-area, Next:async-new-presentation, Previous:async-new-membership, Up:Asynchronous Messages
async-new-user-area [19] (( pers-no : Pers-No;
old-user-area : Text-No;
new-user-area : Text-No ));
This message indicates that the user-area of pers-no has
changed from old-user-area to new-user-area. This
message is sent to all supervisors of pers-no (which of course
includes pers-no himself).