--- trunk/resource-manager.c	2008/05/05 20:05:27	87
+++ trunk/resource-manager.c	2008/05/31 21:42:36	116
@@ -17,8 +17,11 @@
     51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
 */
 
+#include <config.h>
+
 #include "resource-manager.h"
 
+#include <assert.h>
 #include <stdlib.h>
 #include <string.h>
 
@@ -33,11 +36,12 @@
       return &RESOURCES[i];
     }
   }
-  abort();
+  return NULL;
 }
 
 void copy_resource_to_stream(const char * resource, FILE * stream) {
   const struct Resource * r = get_resource(resource);
+  assert(r != NULL);
   if (fwrite(r->data, 1, r->length, stream) != r->length) {
     fatal("cannot write to stream");
   }