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)
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 ...


No differences found