projects / browser-switch / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aea8af7) | 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:25:15 +0000 (02:25 -0800)
commit6f2522256b931713418b8d747612255c03481e21
tree986ae120dcda3054bfd402bfae718f79b005e2cbtree | snapshot
parentaea8af77e9b8614776a3be05a4dff86ea25063f6commit | 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.