Skip to content

GitLab

  • Menu
Projects Groups Snippets
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in
  • S SADE
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Locked Files
  • Issues 22
    • Issues 22
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
    • Requirements
  • Merge requests 0
    • Merge requests 0
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Packages & Registries
    • Packages & Registries
    • Package Registry
    • Infrastructure Registry
  • Analytics
    • Analytics
    • Value stream
    • Code review
    • Insights
    • Issue
    • Repository
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar

Dear Gitlab users, due to a transfer of our data on our NFS shares, Gitlab will be unavailable on Thursday from 5 pm for up to 4 hours.

  • fontane-notizbuecher
  • SADE
  • Merge requests
  • !65

Merged
Created May 06, 2020 by mrodzis@mrodzis🌿Owner

Improve index look-up (closes #139)

  • Overview 0
  • Commits 1
  • Pipelines 1
  • Changes 1

Hardens the item look-up in the index files.

Before the hardening, #139 (closed) occurred because there were two files in $ixp:dataCollection which held the same xml:id, causing the look-up to throw an exception. With narrowing down the files in which the look-up is performed to the actual index files, we can be sure that we have no double ID entries (this is ensured in the TextGridLab).

Edited May 06, 2020 by mrodzis
Assignee
Assign to
Reviewer
Request review from
Time tracking
Source branch: bugfix/#139-error-index-seach