nodes can set tags, tags and nodegroups are mostly OK

[plewww.git] / planetlab / events / index.php

diff --git a/planetlab/events/index.php b/planetlab/events/index.php
index 647b6b7..88a4046 100644 (file)
--- a/planetlab/events/index.php
+++ b/planetlab/events/index.php
@@ -154,14 +154,6 @@ function parse_dates () {
 }
 
 //////////////////////////////////////////////////////////// layout
-function truncate ($text,$numb,$etc = "...") {
-  if (strlen($text) > $numb) {
-    $text = substr($text, 0, $numb);
-    $text = $text.$etc;
-  }
-  return $text;
-}
-
 // outline node ids and person ids with a link
 function e_node ($node_id) {
   if (! $node_id) return "";