Index: firmware/App/Controllers/DrainPump.h =================================================================== diff -u -rbe5079c95b05c303878763b458dc0854a600317e -r359cf587f2f935ef9f40a16d17c4105efa653c1d --- firmware/App/Controllers/DrainPump.h (.../DrainPump.h) (revision be5079c95b05c303878763b458dc0854a600317e) +++ firmware/App/Controllers/DrainPump.h (.../DrainPump.h) (revision 359cf587f2f935ef9f40a16d17c4105efa653c1d) @@ -39,7 +39,10 @@ void execDrainPumpMonitor( void ); void execDrainPumpController( void ); -BOOL setDrainPumpTargetSpeed( U32 rpm, PUMP_CONTROL_MODE_T mode ); +BOOL setDrainPumpTargetSpeed( U32 rpm, PUMP_CONTROL_MODE_T mode ); + + + void signalDrainPumpHardStop( void ); SELF_TEST_STATUS_T execDrainPumpTest( void );