Fat trimming
authormalc <av1474@comtv.ru>
Sun, 10 Feb 2013 17:36:06 +0000 (10 21:36 +0400)
committermalc <av1474@comtv.ru>
Sun, 10 Feb 2013 17:36:06 +0000 (10 21:36 +0400)
wsi.ml

diff --git a/wsi.ml b/wsi.ml
index 5095da4..5fb2934 100644 (file)
--- a/wsi.ml
+++ b/wsi.ml
@@ -738,9 +738,8 @@ let setup sock screennum w h =
             dolog "error getting host name: %s" (exntos exn);
             empty
         in
-        if hostname == empty
-        then ()
-        else (
+        if hostname != empty
+        then
           let s = changepropreq wid atom state.stringatom 8 hostname in
           sendstr s sock;
           sendintern sock "_NET_WM_PID" false (fun resp ->
@@ -749,7 +748,6 @@ let setup sock screennum w h =
             let s = s32 pid in
             let s = changepropreq wid atom 6 (* cardinal *) 8 s in
             sendstr s sock;
-          )
         )
       );