From 7ebb780a95154c01729b556c4856aa2131fbadd9 Mon Sep 17 00:00:00 2001 From: malc Date: Sun, 10 Feb 2013 21:36:06 +0400 Subject: [PATCH] Fat trimming --- wsi.ml | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/wsi.ml b/wsi.ml index 5095da4..5fb2934 100644 --- 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; - ) ) ); -- 2.11.4.GIT