projects / browser-switch / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5b7e480) | patch
Kill MicroB browser UI processes instead of using exit_browser
authorSteven Luo <steven+maemo@steven676.net>
Sat, 6 Feb 2010 10:00:38 +0000 (02:00 -0800)
committerSteven Luo <steven+maemo@steven676.net>
Sat, 6 Feb 2010 10:00:38 +0000 (02:00 -0800)
commit88db94294d5f27f30d2fa30f9cb90c122f36b176
treedf89361fca48f08b4be91f7ec577549f911c73dctree | snapshot
parent5b7e4808269f8247a7d147b387007e5d15e0d7c8commit | diff
Kill MicroB browser UI processes instead of using exit_browser

Reports from users suggest that the exit_browser method call currently
being used to close the MicroB browser UI processes may not be working
reliably.  Try a kill() instead, and hope that this doesn't introduce
data loss problems ...
launcher.c diff | blob | history
Unnamed repository; edit this file to name it for gitweb.