Where is the LED source code for the example?

the default website when you plug in the TINY6410 SDK into your ethernet
network has an example of blinking the LED lights on the Tiny6410 board
using GPKDAT (i think).

The leds.html calls the leds.cgi file, which is a batch script. At the end
of it, it does this command "/bin/echo $type $period > /tmp/led-control"
which runs a C program that tells the period and type of blinking to
perform.

where is the source code for this C program?