Spare sefuns aktualisiert.
Change-Id: I7abad88e229a0d5ce36106c661804f9fe73e9c16
diff --git a/secure/simul_efun/spare/simul_efun.c b/secure/simul_efun/spare/simul_efun.c
index 26e65d4..04a312b 100644
--- a/secure/simul_efun/spare/simul_efun.c
+++ b/secure/simul_efun/spare/simul_efun.c
@@ -925,6 +925,10 @@
if (name[0]!='/')
name = "/" + name;
+ // .c am Ende loeschen, sonst wird das File ggf. nicht gefunden.
+ if(name[<2..]==".c")
+ name=name[..<3];
+
// wenn kein /data/ vorn steht, erstmal gucken, ob das Savefile unter
// /data/ existiert. Wenn ja, wird das geladen.
if (strstr(name,"/"LIBDATADIR"/") != 0)