Megatest

Diff
Login

Differences From Artifact [784defadd2]:

To Artifact [83a7d618db]:


415
416
417
418
419
420
421





422

423
424

425
426
427
428
429
430
431
415
416
417
418
419
420
421
422
423
424
425
426

427
428

429
430
431
432
433
434
435
436







+
+
+
+
+
-
+

-
+







     (lambda (option)
       
       (case option
	 ;; kill servers
	 ((killservers)
	  (for-each
	   (lambda (server)
             (handle-exceptions
             exn
             (begin 
               (debug:print-info 0 *default-log-port*  "Unable to get host and/or port from " servr ", exn=" exn)     
               #f)
	     (match-let (((mod-time host port start-time pid) server))
	     (match-let (((mod-time host port start-time server-id pid) server))
	       (if (and host pid)
		   (tasks:kill-server host pid))))
		   (tasks:kill-server host pid)))))
	   servers)

          ;; /tmp/bjbarcla/megatest_localdb/fullrun/.nfs.pdx.disks.icf_env_disk001.bjbarcla.gwa.issues.mtdev.matt-bisect.megatest.ext-tests.runs.all.v1.65.1.6524.dev.bb-24-justrollup-f8.rollup.fullrun/megatest.db.lock
          (delete-file* (common:get-sync-lock-filepath))
          )
	 
	 ;; clear out junk records