1 files changed, 38 insertions, 0 deletions
diff --git a/src/cmd/venti/srv/trace.c b/src/cmd/venti/srv/trace.c
new file mode 100644
index 00000000..f8669b3d
--- /dev/null
+++ b/src/cmd/venti/srv/trace.c
@@ -0,0 +1,38 @@
+#include "stdinc.h"
+#include "dat.h"
+#include "fns.h"
+
+char TraceDisk[] = "disk";
+char TraceLump[] = "lump";
+char TraceBlock[] = "block";
+char TraceProc[] = "proc";
+char TraceWork[] = "work";
+char TraceQuiet[] = "quiet";
+char TraceRpc[] = "rpc";
+
+void
+trace(char *level, char *fmt, ...)
+{
+	char buf[512];
+	va_list arg;
+
+	if(level == nil || !ventilogging)
+		return;
+	va_start(arg, fmt);
+	vsnprint(buf, sizeof buf, fmt, arg);
+	va_end(arg);
+	vtlog(level, "<font size=-1>%T %s:</font> %s<br>\n",
+			threadgetname(), buf);
+	vtlog("all", "<font size=-1>%T <font color=#777777>%s</font> %s:</font> %s<br>\n",
+			level, threadgetname(), buf);
+}
+
+void
+traceinit(void)
+{
+}
+
+void
+settrace(char *trace)
+{
+}