#! /bin/sh /usr/share/dpatch/dpatch-run
## 20_fix_reading_interrupts.dpatch by  <debian@mkarcher.dialup.fu-berlin.de>
##
## All lines beginning with `## DP:' are a description of the patch.
## DP: If reading of a number from /proc/interrupts failed, stop processing
## DP: before re-adding the highest interrupt a second time.
## DP: On current kernels, a number of special interrupts, starting with
## DP: NMI, is listed below the standard hardware interrupts.

@DPATCH@
diff -urNad xosview-1.8.3+debian~/linux/intmeter.cc xosview-1.8.3+debian/linux/intmeter.cc
--- xosview-1.8.3+debian~/linux/intmeter.cc	2008-06-01 17:40:20.695928228 +0200
+++ xosview-1.8.3+debian/linux/intmeter.cc	2008-06-01 17:40:42.332797037 +0200
@@ -174,13 +174,14 @@
   idx = 16;
   while ( !intfile.eof() ){
     intfile >> i;
+    /* break when reaching non-numeric special interrupts */
+    if (!intfile) break;
     if (i < 16)
 	intno = i;
     else {
 	intno = idx;
 	realintnum[i] = idx++;
     }
-    if (!intfile) break;
     intfile.ignore(1024, '\n');
   }
   updateirqcount(intno, true);