《煤矿安全规程》规定：斜巷维修时，一般应（ ）。