« Previous | Next » 

Revision 16714921

ID1671492135c9b531dd80597e7e75d3988964dcf3
Parent 21f04e5e
Child 711b5124

Added by Michael Hanselmann over 15 years ago

jqueue: Shutdown workerpool in case of a problem

Reviewed-by: ultrotter

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences