Release from detention.

Every person detained in prison in execution of a decree shall be released from such detention, before the expiry of the period of detention, if

  (a) the amount mentioned in the warrant for his detention is paid to the officer in charge of the prison ; or
  (b) the decree against him is otherwise fully satisfied ; or
  (c) the person on whose application he has been detained so requests: 1 Subs. by Adaptation Order, 1937. 2 Subs., omitted and amended by Ordinance, X of 1980, ss. 5, 6, 8. 3 Amended by Adaptation Order, 1937.

Provided that he shall not be released from such detention without the order of the Court.