diff -up openwsman-4391e5c68d99c6239e1672d1c8a5a16d7d8c4c2b/src/server/wsmand-listener.c.orig openwsman-4391e5c68d99c6239e1672d1c8a5a16d7d8c4c2b/src/server/wsmand-listener.c

--- openwsman-4391e5c68d99c6239e1672d1c8a5a16d7d8c4c2b/src/server/wsmand-listener.c.orig	2016-07-27 16:03:55.000000000 +0200

+++ openwsman-4391e5c68d99c6239e1672d1c8a5a16d7d8c4c2b/src/server/wsmand-listener.c	2018-01-22 13:05:04.478923300 +0100

@@ -344,6 +344,35 @@ DONE:

 	if (fault_reason == NULL) {

 		// this is a way to segfault, investigate

 		//fault_reason = shttpd_reason_phrase(status);

+		// ugly workaround follows...

+		switch (status) {

+			case 200:

+				fault_reason = "OK";

+				break;

+			case 400:

+				fault_reason = "Bad request";

+				break;

+			case 401:

+				fault_reason = "Unauthorized";

+				break;

+			case 403:

+				fault_reason = "Forbidden";

+				break;

+			case 404:

+				fault_reason = "Not found";

+				break;

+			case 500:

+				fault_reason = "Internal Error";

+				break;

+			case 501:

+				fault_reason = "Not implemented";

+				break;

+			case 415:

+				fault_reason = "Unsupported Media Type";

+				break;

+			default:

+				fault_reason = "";

+		}

 	}

 	debug("Response status=%d (%s)", status, fault_reason);