Android: Fix bug in terminal app that caused it to spin using much CPU and battery. This problem was introduced in version 4.20130601.

debian/changelog

@@ -8,6 +8,8 @@ git-annex (4.20130816) UNRELEASED; urgency=low
   * unused: Is now a minimum of 30 times faster, and typically many
     more times than that (when a repository has several branches).
     (Thanks, guilhem for the patch.)
+  * Android: Fix bug in terminal app that caused it to spin using much 
+    CPU and battery. This problem was introduced in version 4.20130601.
   * unused: Fix bugs in two edge cases involving manually staged changes.
     (Thanks, guilhem for the patch.)
   * Debian: Run the builtin test suite as an autopkgtest.

doc/bugs/android:_high_CPU_usage__44___unclear_how_to_quit.mdwn

@@ -23,3 +23,6 @@ the current (4.20130826-g46f422) version on Android.
 
 # End of transcript or log.
 """]]
+
+> [[done]]; I fixed the bug which turned out to be a stupid
+> minunderstanding of how a java library worked. --[[Joey]]

standalone/android/term.patch

@@ -501,8 +501,8 @@ index 8a3a4ac..824025d 100644
 +           	 
 +			    /* Reading from the fifo blocks until a url is written
 +			     * to it. */
-+			    BufferedReader buf = new BufferedReader(new FileReader(webAppFifo));
 +			    while (true) {
++			            BufferedReader buf = new BufferedReader(new FileReader(webAppFifo));
 +				    String s = buf.readLine();
 +				    try {
 +					    Intent intent = new Intent(Intent.ACTION_VIEW, Uri.parse(s));