chiark / gitweb /
flush obc on death
authorian <ian>
Tue, 9 May 2006 22:39:22 +0000 (22:39 +0000)
committerian <ian>
Tue, 9 May 2006 22:39:22 +0000 (22:39 +0000)
commitd5036362f34ab74c50b45d380c5323e3bb4e5b93
treea8e087c7658141d3d0aa626191ea291cc24bfbe6
parentd1d573ae59ea2f146292128a2f1b97cf8c5a0cb2
flush obc on death
hostside/common.h
hostside/daemons.h
hostside/gui-plan.c
hostside/main.c
hostside/obc.c
hostside/realtime.c
hostside/utils.c