What happens if a debtor is made bankrupt after a creditor has issued debt recovery proceedings?

A bankruptcy debt is any debt that the bankrupt owed to the relevant creditor at the date of the bankruptcy order, or a debt which arises under an obligation incurred by the debtor before the bankruptcy order, but one which falls due after the date of the bankruptcy order (known as contingent debts).