|
@@ -298,7 +298,7 @@ static irqreturn_t wdtpci_interrupt(int irq, void *dev_id)
|
|
printk(KERN_CRIT PFX "Possible fan fault.\n");
|
|
printk(KERN_CRIT PFX "Possible fan fault.\n");
|
|
}
|
|
}
|
|
#endif /* CONFIG_WDT_501_PCI */
|
|
#endif /* CONFIG_WDT_501_PCI */
|
|
- if (!(status&WDC_SR_WCCR))
|
|
|
|
|
|
+ if (!(status&WDC_SR_WCCR)) {
|
|
#ifdef SOFTWARE_REBOOT
|
|
#ifdef SOFTWARE_REBOOT
|
|
#ifdef ONLY_TESTING
|
|
#ifdef ONLY_TESTING
|
|
printk(KERN_CRIT PFX "Would Reboot.\n");
|
|
printk(KERN_CRIT PFX "Would Reboot.\n");
|
|
@@ -309,6 +309,7 @@ static irqreturn_t wdtpci_interrupt(int irq, void *dev_id)
|
|
#else
|
|
#else
|
|
printk(KERN_CRIT PFX "Reset in 5ms.\n");
|
|
printk(KERN_CRIT PFX "Reset in 5ms.\n");
|
|
#endif
|
|
#endif
|
|
|
|
+ }
|
|
return IRQ_HANDLED;
|
|
return IRQ_HANDLED;
|
|
}
|
|
}
|
|
|
|
|