File

teal-src/util/encodings.d.tl @ 12094:84fd6a79cda7

adminstream: fire disconnected event on lower layer disconnect This may in theory cause multiple disconnect events for the adminstream client, if the only code using that wasn't calling os.exit right away. Hence, this should be a good enough partial fix for #1671. It is not a full fix, because the shell will only notice the disconnect after one has hit enter in the input; until then, it is stuck in a read() call to stdin and completely oblivious to the disconnect.
author Jonas Schäfer <jonas@wielicki.name>
date Tue, 21 Dec 2021 21:23:01 +0100
parent 11459:86904555bffc
child 12387:05c250fa335a
line wrap: on
line source

-- TODO many actually return Maybe(String)
local record lib
	record base64
		encode : function (s : string) : string
		decode : function (s : string) : string
	end
	record stringprep
		nameprep : function (s : string, strict : boolean) : string
		nodeprep : function (s : string, strict : boolean) : string
		resourceprep : function (s : string, strict : boolean) : string
		saslprep : function (s : string, strict : boolean) : string
	end
	record idna
		to_ascii : function (s : string) : string
		to_unicode : function (s : string) : string
	end
	record utf8
		valid : function (s : string) : boolean
		length : function (s : string) : integer
	end
	record confusable
		skeleteon : function (s : string) : string
	end
	version : string
end
return lib