# coding=utf-8 redis_config = { "host": "127.0.0.1", "port": 6379, "db": 0 } docker_config = { "image_name": "judger", "docker_path": "docker", "shell": True } test_case_dir = "/Users/virusdefender/Desktop/test_case/" source_code_dir = "/Users/virusdefender/Desktop/" mongodb_config = { "host": "192.168.59.3", "username": "root", "password": "root", "port": 27017 }