« Previous | Next » 

Revision 37b37976

ID37b37976f8e727be779f94bd4f49f5fd5eead14a
Parent 80cc9939
Child 9308850a, 5f642c07

Added by Luca Baldesi over 3 years ago

fix bug in nodeID creation

if hostname is not resolved nodeID is now automatically freed

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences