364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
|
(if (not host-port)
(begin
(debug:print 0 "ERROR: argument to -ping is host:port, got " (args:get-arg "-ping"))
(print "ERROR: bad host:port")
(exit 1))
(case transport
((http)(http:ping run-id host-port))
((rpc) (rpc:ping run-id host-port))
(else (debug:print 0 "ERROR: No transport set")(exit)))))))
;;======================================================================
;; Start the server - can be done in conjunction with -runall or -runtests (one day...)
;; we start the server if not running else start the client thread
;;======================================================================
|
|
|
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
|
(if (not host-port)
(begin
(debug:print 0 "ERROR: argument to -ping is host:port, got " (args:get-arg "-ping"))
(print "ERROR: bad host:port")
(exit 1))
(case transport
((http)(http:ping run-id host-port))
((rpc) (rpc:ping run-id (car host-port)(cadr host-port)))
(else (debug:print 0 "ERROR: No transport set")(exit)))))))
;;======================================================================
;; Start the server - can be done in conjunction with -runall or -runtests (one day...)
;; we start the server if not running else start the client thread
;;======================================================================
|