gc.sh: update server info when triggering a full gc
[girocco.git] / src / 
tree6c44b91dae4ae34dd5c8db089f06a0aca2a1f4e9
drwxr-xr-x   ..
-rw-r--r-- 416 .gitignore
-rw-r--r-- 2401 GNUmakefile
-rw-r--r-- 1755 can_user_push.c
-rw-r--r-- 3181 can_user_push_http.c
drwxr-xr-x - dragonfly
-rw-r--r-- 3136 get_user_uuid.c
-rw-r--r-- 2270 getent.c
-rw-r--r-- 15125 list_packs.c
-rw-r--r-- 6060 list_packs.txt
-rw-r--r-- 3923 makefile
-rw-r--r-- 5615 peek_packet.c
-rw-r--r-- 12854 rangecgi.c
-rw-r--r-- 5276 strftime.c
-rw-r--r-- 12641 throttle.c