예제 #1
0
파일: xps.py 프로젝트: jbalint/spark
def requestXPS(name, parameters):
    remote = XPSSolver.getNonsparkSolver()
    requestId = log_outgoing_request(None, name, parameters)
    if remote is None:
        errnum = ERR_SERVER_NOT_AVAILABLE
        result = "Remote XPS server is not available"
        log_incoming_result(requestId, errnum, result)
        return errnum, result
    f = remote.solveList(name, toXPS(parameters))
    try:
        objresult = f.get()
        result = fromXPS(objresult)
        errnum = NO_ERROR
    except ExecutionException, e:
        errnum = ERR_EXECUTION
        result = e.getMessage()
예제 #2
0
def requestXPS(name, parameters):
    remote = XPSSolver.getNonsparkSolver()
    requestId = log_outgoing_request(None, name, parameters)
    if remote is None:
        errnum = ERR_SERVER_NOT_AVAILABLE
        result = "Remote XPS server is not available"
        log_incoming_result(requestId, errnum, result)
        return errnum, result
    f = remote.solveList(name, toXPS(parameters))
    try:
        objresult = f.get()
        result = fromXPS(objresult)
        errnum = NO_ERROR
    except ExecutionException, e:
        errnum = ERR_EXECUTION
        result = e.getMessage()