Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: rmap-project/rmap
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: master
Choose a base ref
...
head repository: jrmartino/rmap
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: master
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 7 commits
  • 6 files changed
  • 1 contributor

Commits on Nov 14, 2017

  1. Copy the full SHA
    e087a5e View commit details

Commits on Nov 15, 2017

  1. Copy the full SHA
    96ee748 View commit details
  2. Copy the full SHA
    1877752 View commit details
  3. supply a platform independent default value for the location of the E…

    …ZID cache file. using java File.createTempFile().
    jrmartino committed Nov 15, 2017
    Copy the full SHA
    7155cd0 View commit details
  4. several small changes: provide a reliable default for ezid cache file

    move the opening and closing of the mvstore apparatus to the main public method, createId()
    remove some unnecessary checks, simplify code a bit
    jrmartino committed Nov 15, 2017
    Copy the full SHA
    93d742d View commit details
  5. remove unused variable

    jrmartino committed Nov 15, 2017
    Copy the full SHA
    9321ac9 View commit details

Commits on Nov 16, 2017

  1. clarify behavior of using maxRetryAttempts

    clean up definition of default idStoreFile value
    some format improvement
    jrmartino committed Nov 16, 2017
    Copy the full SHA
    f0dfe40 View commit details
Loading