# HG changeset patch
# User ivo <ivo@UFO-Net.nl>
# Date 1276302603 -7200
# Node ID 039303d2e28d04afdcd4001b0951045ab738a691
# Parent  21cba5fdad6911ace650732eb58c05c3d0f4b965# Parent  f2fb1d2dcf8c4a28464692c7554e28e889eae2f5
Merge branch 'master' of git://git1.somerandomnick.ano

diff -r 21cba5fdad69 -r 039303d2e28d doc/ucis.ano/bgp_graph/path_list_to_dot.php
--- a/doc/ucis.ano/bgp_graph/path_list_to_dot.php	Sat Jun 12 02:00:03 2010 +0200
+++ b/doc/ucis.ano/bgp_graph/path_list_to_dot.php	Sat Jun 12 02:30:03 2010 +0200
@@ -30,12 +30,12 @@
 foreach ($nodes as $node => $links) {
  if (!array_key_exists($node,$nodelist)) $nodelist[$node]=nodename($node);
  foreach ($links as $link => $dummy)
-  if (!array_key_exists($link,$nodelist)) $nodelist[$node]=nodename($link);
+  if (!array_key_exists($link,$nodelist)) $nodelist[$link]=nodename($link);
 };
 
 print("graph BGP_nodes {\n");
 foreach ($nodelist as $node => $name)
- print "\t".$node.' [label="'.$name.'"]'."\n";
+ print "\t".$node.' [label="'.$name.'"];'."\n";
 
 foreach ($nodes as $node => $links) {
 	foreach ($links as $link => $dummy) {