OCR-D / core

Passed

Pull Request — master (#1285)

by

unknown

created 2024-10-09 07:22 UTC

Changes

	1 issue (minor) was introduced.
	2 added classes/operations
		B	ocrd_network.server_utils.kill_mets_server_zombies() added
		A	ocrd_network.processing_server.ProcessingServer.kill_mets_server_zombi... added

4.2

▶ ± 0

Head	Mehmed Mustafa 2024-10-09 07:21 GMT+0000 Merge 5d755a8fb7b77d94a052f10e73c7a98ecb098a0d into a68782d980afa6f9a0d6872c53856d952ca53822
⋮	55 more commits
Base	Konstantin Baierer 2024-10-01 16:06 UTC Merge pull request #1280 from OCR-D/fix-docker-cuda-torch