mransan/raft-udp

Issues

• Remove the `Failed of int` leader case

  #22 opened 8 years ago by mransan
  0

• Handle "New Leader" and "No Leader" notifications

  #18 opened 8 years ago by mransan
  0

• Check if a compaction file already exists before compacting a log.

  #16 opened 8 years ago by mransan
  0

• Add logic that for case where a commit log does not have a client handle

  #12 opened 8 years ago by mransan
  0

• Formalize Client and Raft thread on server side

  #5 opened 8 years ago by mransan
  0