File: penstats

package info (click to toggle)
pen 0.34.1-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 836 kB
  • sloc: ansic: 6,364; sh: 1,552; makefile: 38
file content (17 lines) | stat: -rwxr-xr-x 302 bytes parent folder | download | duplicates (8) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
 
#!/bin/sh

PENHOME=/home/ulric/Projekt/pen
PIDFILE=$PENHOME/pid
WEBFILE=$PENHOME/webstats.html

# This will make pen save its stats
kill -USR1 `cat $PIDFILE`

# We don't know how long it will take; wait a few seconds
sleep 2

# And display the results
echo "Content-type: text/html"
echo
cat $WEBFILE