File: penstats

package info (click to toggle)
pen 0.18.0-1
  • links: PTS, VCS
  • area: main
  • in suites: lenny, squeeze, wheezy
  • size: 612 kB
  • ctags: 278
  • sloc: ansic: 3,331; sh: 3,183; makefile: 42
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