--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc/ucis.ano/bgp_graph/path_list_to_dot.php	Thu Jun 10 00:15:51 2010 +0200
@@ -0,0 +1,31 @@
+#!/usr/bin/php
+<?php
+$nodes = array();
+
+$file = STDIN;
+
+while (!feof($file)) {
+	$line = stream_get_line($file, 1024, "\n");
+	if ($line === NULL) break;
+	if (!strlen($line)) continue;
+	$pathnodes = explode(' ', $line);
+	$prevnode = NULL;
+	foreach ($pathnodes as $node) {
+		if ($prevnode && $node) $nodes[$prevnode][$node] = 1;
+		$prevnode = $node;
+	}
+}
+
+foreach ($nodes as $node => $links) {
+	foreach ($links as $link => $dummy) {
+		if (isset($nodes[$node][$link]) && isset($nodes[$link][$node])) unset($nodes[$link][$node]);
+	}
+}
+
+print("graph BGP_nodes {\n");
+foreach ($nodes as $node => $links) {
+	foreach ($links as $link => $dummy) {
+		print("\t".$node.' -- '.$link.";\n");
+	}
+}
+print('}');