jobd/taskd: support --same-pid graceful restart option
[girocco.git] / html / 
tree025f75380f53e089334ec127b23e9a6434c8feb5
drwxr-xr-x   ..
-rw-r--r-- 14 .htaccess
-rw-r--r-- 775 about.html
-rw-r--r-- 2752 girocco.css
-rw-r--r-- 1640 girocco.js
-rw-r--r-- 10066 httpspush.html
-rw-r--r-- 10202 mob.html
-rw-r--r-- 2276 names.html
-rw-r--r-- 4923 rootcert.html