Option (4) is correct: When the High Court calls for the record of any case which has been decided by any court subordinate to such High Court, such suit shall not operate as a stay of suit or other proceeding before the court, except where such suit or proceeding is stayed by the court.