]> gitweb.factorcode.org Git - factor.git/commitdiff
logging.server: use io.directories:?delete-file.
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 13 Mar 2021 00:03:57 +0000 (16:03 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 13 Mar 2021 00:03:57 +0000 (16:03 -0800)
basis/logging/server/server.factor

index 9357b2b98120044230445579700f68ec844fc95a..de0cdd2b57ff27d7bb739903673ad7daf8cd78fc 100644 (file)
@@ -68,9 +68,6 @@ SYMBOL: log-files
 
 CONSTANT: keep-logs 10
 
-: ?delete-file ( path -- )
-    dup exists? [ delete-file ] [ drop ] if ;
-
 : delete-oldest ( service -- )
     keep-logs log# ?delete-file ;