ipc.c: Uninline get_key_or_die().
authorAndre Noll <maan@tuebingen.mpg.de>
Fri, 17 Feb 2017 14:36:50 +0000 (15:36 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 16 Apr 2017 10:32:06 +0000 (12:32 +0200)
commitae647da612e0edfb607a4fdb251983d6405f6b00
tree955d5783282ccc8658ca7745b4210776fc9d4e4d
parentb795331d8f7006e1cd15ddf124baf1384347d2db
ipc.c: Uninline get_key_or_die().

This function is rather big, so it's not clear whether it should
be inlined or not. Without the inline attribute, that's up to the
compiler to decide.
ipc.c