« Previous | Next » 

Revision c32157fe

IDc32157fedf7f3ccb14e86e5824aeea24d6f4ed44
Parent 00c2e701
Child 2209fca9

Added by Ruben S. Montero over 9 years ago

Bug #1197: stderr information is redirected to another file, it does not collide with the "standard" logging info

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences