commit 5810cad0c374b5ad6736949aa8b04ecdee760681
parent 32bb6c879450f715f10b88b181a8da04ca04831b
Author: rsc <devnull@localhost>
Date: Tue, 15 Feb 2005 05:03:44 +0000
add ventilogging, vtlognames
Diffstat:
1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/include/venti.h b/include/venti.h
@@ -73,6 +73,7 @@ void vtlogprint(VtLog *log, char *fmt, ...);
void vtlog(char *name, char *fmt, ...);
void vtlogclose(VtLog*);
void vtlogremove(char *name);
+int vtlognames(char***);
void vtlogdump(int fd, VtLog*);
/* XXX begin actual venti.h */
@@ -488,6 +489,7 @@ int vtfileremove(VtFile*);
extern int chattyventi;
extern int ventidoublechecksha1;
+extern int ventilogging;
extern char *VtServerLog;