« Previous | Next » 

Revision 1d55ed33

ID1d55ed330e89bd7037ff472d2fd1c53cf80e6732
Parent c26e9c9c
Child 88a5f271

Added by Giovanni [dacav] Simoni over 9 years ago

Unlikely-bug-fix

I never seen malloc actually returning NULL, however better safe than
sorry :-)

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences