sefun copy_file entfernt.

Seit der Driver eine gleichnamige hat, benutzen wir
jene.

Change-Id: Ie015899f02e2981900a3e4de6d1a61110a3fcb18
diff --git a/secure/simul_efun/files.c b/secure/simul_efun/files.c
index e967367..818f2f4 100644
--- a/secure/simul_efun/files.c
+++ b/secure/simul_efun/files.c
@@ -84,49 +84,5 @@
     return(write_file(file,txt));
 }
 
-#if !__EFUN_DEFINED__(copy_file)
-#define MAXLEN 50000
-public nomask int copy_file(string source, string dest)
-{
-
-    int ptr;
-    bytes byte_seq;
-
-    set_this_object(previous_object());
-    if (!sizeof(source) || !sizeof(dest) || source==dest
-        || (file_size(source) < 0) // kein File?
-        || !master()->valid_read(source,
-                       getuid(this_interactive()||previous_object()),
-                       "read_file",previous_object())
-        || !master()->valid_write(dest,
-                       getuid(this_interactive()||previous_object()),
-                       "write_file",previous_object())
-       )
-      return 1;
-
-    switch (file_size(dest))
-    {
-    case -1:
-      break;
-    case -2:
-      if (dest[<1]!='/') dest+="/";
-      dest+=efun::explode(source,"/")[<1];
-      if (file_size(dest)==-2) return 1;
-      if (file_size(dest)!=-1) break;
-    default:
-      if (!rm(dest)) return 1;
-      break;
-    }
-    do
-    {
-      byte_seq = read_bytes(source, ptr, MAXLEN); ptr += MAXLEN;
-      if (!byte_seq) byte_seq="";
-      write_file(dest, byte_seq);
-    }
-    while(sizeof(byte_seq) == MAXLEN);
-    return 0;
-}
-#endif //!__EFUN_DEFINED__(copy_file)
-
 #undef PO
 
diff --git a/secure/simul_efun/spare/files.c b/secure/simul_efun/spare/files.c
index e967367..818f2f4 100644
--- a/secure/simul_efun/spare/files.c
+++ b/secure/simul_efun/spare/files.c
@@ -84,49 +84,5 @@
     return(write_file(file,txt));
 }
 
-#if !__EFUN_DEFINED__(copy_file)
-#define MAXLEN 50000
-public nomask int copy_file(string source, string dest)
-{
-
-    int ptr;
-    bytes byte_seq;
-
-    set_this_object(previous_object());
-    if (!sizeof(source) || !sizeof(dest) || source==dest
-        || (file_size(source) < 0) // kein File?
-        || !master()->valid_read(source,
-                       getuid(this_interactive()||previous_object()),
-                       "read_file",previous_object())
-        || !master()->valid_write(dest,
-                       getuid(this_interactive()||previous_object()),
-                       "write_file",previous_object())
-       )
-      return 1;
-
-    switch (file_size(dest))
-    {
-    case -1:
-      break;
-    case -2:
-      if (dest[<1]!='/') dest+="/";
-      dest+=efun::explode(source,"/")[<1];
-      if (file_size(dest)==-2) return 1;
-      if (file_size(dest)!=-1) break;
-    default:
-      if (!rm(dest)) return 1;
-      break;
-    }
-    do
-    {
-      byte_seq = read_bytes(source, ptr, MAXLEN); ptr += MAXLEN;
-      if (!byte_seq) byte_seq="";
-      write_file(dest, byte_seq);
-    }
-    while(sizeof(byte_seq) == MAXLEN);
-    return 0;
-}
-#endif //!__EFUN_DEFINED__(copy_file)
-
 #undef PO