process_string wird auch mit 0 gerufen.
Also vorher pruefen...
Change-Id: I7f39d4fe7687844880b8e76ffa9b9a81cd6180e8
diff --git a/secure/simul_efun/simul_efun.c b/secure/simul_efun/simul_efun.c
index 887fd7a..1a7a013 100644
--- a/secure/simul_efun/simul_efun.c
+++ b/secure/simul_efun/simul_efun.c
@@ -808,7 +808,11 @@
nomask string process_string( string|closure str )
{
string tmp, err;
- int flag;
+ int flag;
+
+ // Hmpf, es wird tatsaechlich reihenweise mit 0 gerufen.
+ if (!str)
+ return 0;
// process_string() wird nur noch ausgewertet, wenn der Aufrufer einen
// Level von maximal 30 hat. Das schliesst alle Objekten in /d/, /p/ und den