-
Notifications
You must be signed in to change notification settings - Fork 32
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Extension to the Processing Server (#974) #1028
Conversation
@MehmedGIT here it would make sense rebasing the PR on the |
@MehmedGIT I think the code from this PR was already merged in another PR. So, we can close this, or? |
@tdoan2010, it was not merged yet, but it is already part of #1030 and no separate merge is required. However, the branch is used in |
This comment was marked as resolved.
This comment was marked as resolved.
This comment was marked as resolved.
This comment was marked as resolved.
This comment was marked as resolved.
This comment was marked as resolved.
This PR is no longer needed since #1030 already implemented the required extension. |
This is the required temporal extension for the processing server to download the ocrd all tool json when the server is started. Implemented separately from #974, to not block #974 anymore and continue the required changes here.