gp-server.git - Gitblit

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

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

Administrator

2024-04-23 d30c3d2335348d65878735b18aaf2d1f4537db1c

 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