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: mirage/mirage
base: 5baf51c79dcc
Choose a base ref
...
head repository: mirage/mirage
compare: c0ae5b5d9697
Choose a head ref
  • 2 commits
  • 4 files changed
  • 1 contributor

Commits on Aug 1, 2017

  1. syslog: allow runtime configuration of log host 

    previously, no keys were defined for configuring syslog, but all had to be done
in config.ml.  now, the config argument to syslog_udp/tcp/tls is optional, and
three keys are available:
--syslog=IPv4
--syslog-port=int
--syslog-hostname=string

the specific protocol to use (UDP/TCP/TLS) has to be provided at configuration
time (which is sensible because the specific library has to be linked into the
unikernel)
    @hannesm
    hannesm committed Aug 1, 2017
    Copy the full SHA
    2f673e3 View commit details
    Browse the repository at this point in the history

  2. syslog: server is now an Ipaddr.V4.t option 

    this allows for same development code (without any syslog receiver, but logs
on standard output) and deployment code:
development: start process without arguments;
deployment: provide --syslog=1.2.3.4 as boot parameters
    @hannesm
    hannesm committed Aug 1, 2017
    Copy the full SHA
    c0ae5b5 View commit details
    Browse the repository at this point in the history