# HG changeset patch
# User Nick <nick@somerandomnick.ano>
# Date 1276287702 0
# Node ID fd9b90f6fbc19439e88b9b48a1b4918dcbb17b98
# Parent  14e97bffdd550a305d0714260c9cd4fb70393759
trying a different format

diff -r 14e97bffdd55 -r fd9b90f6fbc1 doc/ucis.ano/bgp_graph/path_list_to_dot.php
--- a/doc/ucis.ano/bgp_graph/path_list_to_dot.php	Fri Jun 11 20:04:28 2010 +0000
+++ b/doc/ucis.ano/bgp_graph/path_list_to_dot.php	Fri Jun 11 20:21:42 2010 +0000
@@ -23,8 +23,8 @@
 }
 
 function nodename ($node) { switch ($node) {
- case '64731': return 'SRN';
-}; return $node; };
+ case '64731': return 'SRN (AS64731)';
+}; return 'AS'.$node; };
 
 $nodelist=array();
 foreach ($nodes as $node => $links) {