« Previous | Next » 

Revision 6d8b6238

ID6d8b6238368ae05a63bb825ae5d818f016946a70
Parent c3d7f69b
Child 937f983d

Added by Guido Trotter over 14 years ago

raise QuitGanetiException in LeaveCluster

Reviewed-by: iustinp

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences