This section applies if at any time in the relevant period the appropriate judge is informed by the Secretary of State that a request for a person's extradition has been withdrawn.
The relevant period is the period—
starting when the person first appears or is brought before the appropriate judge following his arrest under this Part;
ending when the judge orders the person's discharge or sends the case to the Secretary of State for his decision whether the person is to be extradited.
The judge must order the person's discharge.
If the person is not before the judge at the time the judge orders his discharge, the judge must inform him of the order as soon as practicable.