下面是我的JSON文件：

{
"credentials":
  {
    "server": "0.1.2.3,6666",
    "database": "db", 
    "username": "user",
    "password": "password"
  }
}

下面是我的python脚本，它位于一个单独的文件中：

import pandas as pd
import datatest as dt
import datetime 
import json
import pyodbc

with open(r"path_to_config.json", 'r') as config_file:
    df = json.load(config_file)
    json.load(config_file)
    config = ConfigParser()
    config.read(config_file)

server = ?????

connection_string = pyodbc.connect('DRIVER={ODBC Driver 17 for SQL Server};'
                                   'SERVER='+server+';'
                                   'DATABASE='+database+';'
                                   'UID='+username+';'
                                   'PWD='+password+';')
cursor = connection_string.cursor()

SQL_STATEMENT = "SELECT COUNT(*) FROM table1"
cursor.execute(SQL_STATEMENT)

for i in cursor:
    print(i)

我的问题是我不知道如何从config文件读取"server": "0.1.2.3,6666"值到我的python ODBC脚本中，我在那里写了'SERVER='+server+';'。我如何从json文件插入/读取这个值到我的python脚本中？我必须在python脚本中定义服务器吗？