• Show log

    Commit

  • Hash : 523032cd
    Author : Carlos Martín Nieto
    Date : 2014-03-31T09:58:44

    config: refresh before reading a value
    
    With the isolation of complex reads, we can now try to refresh the
    on-disk file before reading a value from it.
    
    This changes the semantics a bit, as before we could be sure that a
    string we got from the configuration was valid until we wrote or
    refreshed. This is no longer the case, as a read can also invalidate the
    pointer.