Skip to content
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

Rework of IdMapping toward explicit Id-kinds #1970

Merged
merged 90 commits into from
Aug 23, 2021

Conversation

awildturtok
Copy link
Collaborator

Also refactors reading of IdMapping to use Headers and not indices, we don't need insane performance here anyway

awildturtok and others added 5 commits July 6, 2021 16:33
…tated Ids instead of guessing the used Ids

Also refactors reading of IdMapping to use Headers and not indices, we don't need insane performance here anyway
Also expose available FormatColumns under FontendConfig
@awildturtok awildturtok requested a review from thoniTUB July 7, 2021 15:50
Comment on lines +71 to +79
try {
execution.initExecutable(datasets, config);
}catch (Exception e){
log.error("Failed to initialize Query[{}]", execution.getId(), e);

//TODO we don't want to store completely faulty queries but is that right like this?
datasets.getMetaStorage().removeExecution(execution.getId());
throw e;
}
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Du hast in ManagedExecution schon ein try-catch, aber schluckst die Exception dort

Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Öhm jetzt sehe ich ManagedExecution nicht mehr in den Änderungen. hast du die reverted?

thoniTUB
thoniTUB previously approved these changes Aug 5, 2021
@thoniTUB thoniTUB mentioned this pull request Aug 10, 2021
@awildturtok awildturtok merged commit c60b4c5 into develop Aug 23, 2021
@delete-merged-branch delete-merged-branch bot deleted the feature/external-headers-reworked branch August 23, 2021 09:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants