add ventilogging, vtlognames

include/venti.h

diff --git a/include/venti.h b/include/venti.h
index 16cabe8..5f48ee0 100644
--- a/include/venti.h
+++ b/include/venti.h
@@ -73,6 +73,7 @@
 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 @@
 
 extern int chattyventi;
 extern int ventidoublechecksha1;
+extern int ventilogging;
 
 extern char *VtServerLog;