script problem when upgrade from 1.8 to 1.8+

Please see screenshot, during a upgrade from 1.8 to 1.8+ we ran into this error message during the upgrade:

hotpot module needs upgrading

--------------------------------------------------------------------------------
(mysql): ALTER TABLE `mdl_hotpot_questions` CHANGE `type` `type` TINYINT(4) UNSIGNED
--------------------------------------------------------------------------------
Success
--------------------------------------------------------------------------------
(mysql): ALTER TABLE `mdl_hotpot_questions` CHANGE `name` `name` TEXT NOT NULL DEFAULT ''
--------------------------------------------------------------------------------
Success
--------------------------------------------------------------------------------
(mysql): UPDATE mdl_hotpot_questions SET text=NULL WHERE text NOT REGEXP '^[0-9]+$'
--------------------------------------------------------------------------------
Success
--------------------------------------------------------------------------------
(mysql): ALTER TABLE `mdl_hotpot_questions` CHANGE `text` `text` INTEGER(10) UNSIGNED
--------------------------------------------------------------------------------
Success

Upgrade function xmldb_hotpot_upgrade was not available in hotpot: /usr/local/apache2/htdocs/pleasework/mod/hotpot/db/upgrade.phpScroll to next warning

Scroll to previous warningUpgrading hotpot from 2005031422 to 2007020201 FAILED!Scroll to continue button