gp-server.git - Gitblit

概况
操作记录
提交次数
目录
文档
派生
对比

blame | 历史 | 补丁 | 提交 | 提交对比 | ignore whitespace

Administrator

2023-08-30 dacb3898100a1b982d0538f013f9318cd5e9a51c

 utils/socket_util.py

@@ -80,3 +80,17 @@
        return True
    else:
        return False


# 端口是否被占用
def is_port_bind(port):
    sock = socket.socket(socket.AF_INET, socket.SOCK_STREAM)
    result = sock.connect_ex(('127.0.0.1', port))
    if result == 0:
        return True
    else:
        return False


if __name__ == "__main__":
    pass

			@@ -80,3 +80,17 @@
			return True
			else:
			return False


			# 端口是否被占用
			def is_port_bind(port):
			sock = socket.socket(socket.AF_INET, socket.SOCK_STREAM)
			result = sock.connect_ex(('127.0.0.1', port))
			if result == 0:
			return True
			else:
			return False


			if __name__ == "__main__":
			pass