Fehler, wenn restore_object() einen leeren String bekommt
Ein restore_object("") ist sinnlos und sollte mal auffallen,
daher also Fehler ausloesen.
Change-Id: Ice66a96aec3fd966f598e9e494ea98b884bfecec
diff --git a/secure/simul_efun/simul_efun.c b/secure/simul_efun/simul_efun.c
index f5583db..f69fb8a 100644
--- a/secure/simul_efun/simul_efun.c
+++ b/secure/simul_efun/simul_efun.c
@@ -911,6 +911,13 @@
int i;
closure cl;
+ if (sizeof(name) < 1)
+ {
+ set_this_object(previous_object());
+ raise_error("Bad arg 1 to restore_object(): expected non-empty "
+ "'string'.\n");
+ }
+
// Wenn name vermutlich ein Pfad (also nicht mit #x:y anfaengt)
if (name[0] != '#')
{