« Previous | Next » 

Revision ca5e7f19

IDca5e7f19465c1de1e96c0783b61b7c46fde9b5ef
Parent 7571dbdc
Child 6e893ffd

Added by Ruben S. Montero about 5 years ago

Prevent deadlock when reservations fail with the same name.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences