Skip to content
Snippets Groups Projects

Logger restart

Closed Loic Hausammann requested to merge logger_restart into master
All threads resolved!

This should not be merged before !813 (merged) and needs to be redirected towards master.

Here is the implementation of the restart. This is very very simple.

Edited by Loic Hausammann

Merge request reports

Loading
Loading

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
  • Loic Hausammann resolved all discussions

    resolved all discussions

  • added 1 commit

    Compare with previous version

  • Loic Hausammann resolved all discussions

    resolved all discussions

  • added 1 commit

    • 4a8ad748 - Logger: remove size from dump_restart

    Compare with previous version

  • Loic Hausammann changed the description

    changed the description

  • Loic Hausammann changed target branch from logger_index_file to master

    changed target branch from logger_index_file to master

  • Loic Hausammann resolved all discussions

    resolved all discussions

  • added 1 commit

    • c5a39085 - Logger: remove page rounding

    Compare with previous version

  • assigned to @matthieu

  • @matthieu Loic tested this, I think it's good to go, handing off to you!

  • There are merge conflicts.

  • Please register or sign in to reply
    Loading