File: penstats

package info (click to toggle)
pen 0.15.0-1
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k
  • size: 520 kB
  • ctags: 266
  • sloc: ansic: 3,036; sh: 927; makefile: 72
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