From b9caaa8e4b66817dbc66d0e79b567b3285869fea Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 7 Feb 2004 19:31:13 +0000
Subject: Deleted file

---
 html/counter.php3 | 50 --------------------------------------------------
 1 file changed, 50 deletions(-)
 delete mode 100644 html/counter.php3

(limited to 'html/counter.php3')

diff --git a/html/counter.php3 b/html/counter.php3
deleted file mode 100644
index 0ea4593d..00000000
--- a/html/counter.php3
+++ /dev/null
@@ -1,50 +0,0 @@
-<?php
-/*
- * Increment an access counter.
- * David Aspinall, June 1999.
- *
- * $Id$
- *
- */
-
-$counterFile = "counter.txt";
-$counterStart = "counterstart.txt";
-$maxlen = 10;
-
-// NB: probably have trouble with permissions 
-//     if file doesn't exist already, so start with
-//     empty files made with touch.
-
-// Here's how to cause it to be initialized:
-//
-//  rm -f counter.txt counterstart.txt
-//  touch counter.txt counterstart.txt
-//  chmod o+w counter.txt counterstart.txt
-//
-
-if (is_readable($counterFile) && is_writeable($counterFile)) {
-  $fp   = fopen($counterFile,"r+");
-  if (filesize($counterFile)<1) {
-     // Start counter, write a timestamp.
-     $num = 1;
-     if (is_readable($counterStart) && is_writeable($counterStart)) {
-	$fps = fopen($counterStart,"w");
-        fputs($fps,time());
-        fclose($fps);
-        print "<!-- Hit counter initialized. -->";
-     } else {
-        print "<!-- Hit counter initialized, but timestamp could not be set -->";
-     };
-  } else {
-     $num  = fgets($fp,$maxlen);
-     $num += 1;
-     print "<!-- Hit counter: $num -->";
-  };
-  rewind($fp);
-  fputs($fp,$num);
-  fclose($fp);
-} else {
-  print "<!-- Hit counter file $counterFile cannot be accessed. -->";
-};
-?>
-
-- 
cgit v1.2.3