The format of the data printed by printarenas has
changed between oventi and nventi, also changed the
port for venti's web server which is 8000 by default.

-Steve

Reference: /n/sources/patch/applied/dumpvacroots-fix
Date: Fri Apr 25 11:51:54 CES 2008
Signed-off-by: steve@quintile.net

--- /sys/src/cmd/venti/words/dumpvacroots	Fri Apr 25 11:50:18 2008
+++ /sys/src/cmd/venti/words/dumpvacroots	Fri Apr 25 11:50:15 2008
@@ -4,16 +4,18 @@
 # to the physical disks storing the archive!
 
 ventihttp=`{echo $venti | sed 's/^[a-z]+!([0-9\.]+)![a-z0-9]+$/\1/
-		s/^[a-z]+!([0-9\.]+)/\1/; s/$/:80/'
+		s/^[a-z]+!([0-9\.]+)/\1/; s/$/:8000/'
 }
 
 hget http://$ventihttp/index | 
 	awk '
- /^index=/ { blockSize=0+substr($3, 11) }
- /^arena=/ { arena=substr($1, 7) }
- /^	arena=/ {
-		start = (0+substr($5, 2))-blockSize
-		printf("venti/printarena -o %.0f %s\n", start, $3 "")
-}' |
+ 		/^index=/ { blockSize=0+substr($3, 11) }
+ 		/^arena=/ { arena=substr($1, 7) }
+ 		/^	arena=/ {
+			start = (0+substr($5, 2))-blockSize
+			printf("venti/printarena -o %.0f %s\n", start, $3 "")
+		}
+	' |
 	rc |
-	sed -n 's/^(.*) 1$/vac:\1/p'
+	awk '$3==16 {printf("vac:%s\n", $2)}'
+