Fix kernel and server name missing in certain situations - #13974

Merged

Rich Chiodo (rchiodo) merged 4 commits into

mainfrom

rchiodo/kernel_and_uri_missing

Sep 17, 2020

Commits on Sep 16, 2020

Fix kernel name and server name
Rich Chiodo (rchiodo)
committed
dd83964

Commits on Sep 17, 2020

Fixup server name for remote situations
Rich Chiodo (rchiodo)
committed
6e38f7d
Add some functional tests
Rich Chiodo (rchiodo)
committed
de4a324
Add news entry
Rich Chiodo (rchiodo)
committed
c32ff8f