« Previous | Next » 

Revision 818ff1e2

ID818ff1e2b7b8eb8e707608e76ead94e5c6bd442c
Parent c304392e
Child 5d86aefb

Added by Martin Mares over 21 years ago

When reporting a bug(), call abort() instead of exit(), so that we
can analyse the core.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences