« Previous | Next » 

Revision 205d71fd

ID205d71fdeea18dc1ee3c02e34f4989a2ec6f41cf
Parent dca1764e
Child 5ce81b28

Added by Michael Hanselmann almost 16 years ago

Fix logging with string job IDs

The job ID is now a string, hence logging must use %s instead of %d.

Reviewed-by: iustinp

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences