From: Mart Lubbers <mart@martlubbers.net>
Date: Mon, 18 Dec 2017 09:29:32 +0000 (+0100)
Subject: Merge branch 'interface-improvements' of github.com:clean-cloogle/clean-irc into... 
X-Git-Url: https://git.martlubbers.net/?p=cloogle-irc.git;a=commitdiff_plain;h=9d3f47b4dfbfcda74e3615361e858d156e3ef395;hp=0754ab0cb695ed0966e6a60390d295ca8b8476d1

Merge branch 'interface-improvements' of github.com:clean-cloogle/clean-irc into interface-improvements
---

diff --git a/Makefile b/Makefile
index 80b0c7e..b1b934b 100644
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,7 @@
 CLEAN_HOME?=/opt/clean
 CLM:=clm
 
-override CLMFLAGS+=-nt -dynamics -lat -d -nsa -nou
+override CLMFLAGS+=-nt
 GCCVERSIONGTEQ6:=$(shell expr `gcc -dumpversion | cut -f1 -d.` \>= 6)
 ifeq "$(GCCVERSIONGTEQ6)" "1"
 	override CLMFLAGS+=-l -no-pie
diff --git a/cloogleirc.icl b/cloogleirc.icl
index 8f99a57..a504883 100644
--- a/cloogleirc.icl
+++ b/cloogleirc.icl
@@ -67,6 +67,7 @@ cloogle data w
 # resp = fromOk mer
 = case fromJSON $ fromString resp.HTTPResponse.rsp_data of
 	Nothing = ("couldn't parse json", w)
+	Just {return=127} = ("No results for " + data, w)
 	Just clr = ("Results for " + data + " -- https://cloogle.org/#" +
 		replaceSubString "+" "%20" (urlEncode data) + "\n" +
 		processResults clr, w)