From 48745510225dec3b82c651ae6b7376064984ca82 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E5=88=98=E5=8D=8E?= Date: Thu, 1 Jul 2021 11:09:01 +0000 Subject: [PATCH] =?UTF-8?q?CI=E6=B5=8B=E8=AF=95=E5=8D=95=EF=BC=8C=E8=AF=B7?= =?UTF-8?q?=E5=8B=BF=E5=90=88=E5=85=A5?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/core/config/resource_manager.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/core/config/resource_manager.py b/src/core/config/resource_manager.py index 49fdbe5..46d72e8 100755 --- a/src/core/config/resource_manager.py +++ b/src/core/config/resource_manager.py @@ -15,6 +15,8 @@ # See the License for the specific language governing permissions and # limitations under the License. # +import timeout + import os import xml.etree.ElementTree as ElementTree -- Gitee