Rusty's cleanup to ciniparser.c's strstrip and strlwc
[ccan] / web / staticall.php
1 <?php
2 session_start();
3 include('logo.html');
4 include('menulist.html');
5 include('static-configuration');
6
7 $tarballsize=round((filesize($argv[3]."/ccan.tar.bz2") + 1023) / 1024);
8 ?>
9
10 <h1> List of all CCAN modules: </h1>
11
12 <p>
13 Note that two downloads are offered: the first includes with all the
14 other ccan modules this module uses, the second is a standalone
15 download.
16 </p>
17
18 <p>
19 Or you can just download the <a href="ccan.tar.bz2">tarball of everything including CCAN tools (<?=$tarballsize?>K)</a>.
20 </p>
21
22 <table align="center" width="80%" border="0" cellpadding="3" cellspacing="1">
23 <th align="left">Name</th>
24 <th align="left">Summary / Link to details</th>
25 <th align="right">Download</th>
26
27 <?php 
28 $d = dir($argv[1]);
29 $modules = array();
30 while (false !== ($entry = $d->read())) {
31         if ($entry[0] != '.' && is_file($argv[1].$entry."/_info")) {
32                 array_push($modules, $entry);
33         }
34 }
35 sort($modules);
36
37 foreach ($modules as $module) {
38         $summary=extract_field('summary',$argv[1].$module);
39         $with_deps="$tar_dir/with-deps/$module.tar.bz2";
40         $no_deps="$tar_dir/$module.tar.bz2";
41         $with_dep_size = round((filesize($argv[3]."/".$with_deps) + 1023) / 1024);
42         $no_dep_size = round((filesize($argv[3]."/".$no_deps) + 1023) / 1024);
43         ?>
44         <tr>
45           <td><?=$module?></td>
46           <td><a href="info/<?=$module?>.html"><?=$summary?></a></td>
47           <td align="right"><a href="<?=$with_deps?>"><?=$with_dep_size?>K</a> / 
48               <a href="<?=$no_deps?>"><?=$no_dep_size?>K</a></td>
49         </tr>
50         <?php
51 }
52 $d->close();
53 ?>
54 </table>
55
56 <h2> Contents of Junkcode: </h2>
57
58 (This is contributed code which was dumped here: these gems may need some polishing.)
59
60 <table align="center" width="80%" border="0" cellpadding="3" cellspacing="1">
61
62 <?php
63 $d = dir($argv[2]);
64 $dirs = array();
65 while (false !== ($entry = $d->read())) {
66         if ($entry[0] != '.') {
67                 array_push($dirs, $entry);
68         }
69 }
70
71 sort($dirs);
72 foreach ($dirs as $dir) {
73         $size = round((filesize($argv[3]."/junkcode/".$dir.".tar.bz2") + 1023) / 1024);
74         echo "<tr><td><a href=\"junkcode/$dir.tar.bz2\">$dir.tar.bz2 (${size}K)</a></td>\n";
75         echo "<td><a href=\"junkcode/$dir.html\">Browse contents...</a></td><tr>\n";
76 }
77 $d->close();
78 ?>
79 </table>
80 <hr>
81 </body></html>