File

teal-src/util/signal.d.tl @ 12654:f3dbbc7655e6

usermanager: Handle local JIDs being passed to get/set_jid_role() There is no reasonable fallback for set_jid_role() because users may have multiple roles, so that's an error.
author Matthew Wild <mwild1@gmail.com>
date Mon, 01 Aug 2022 20:26:00 +0100
parent 12627:b8ce0f61855b
line wrap: on
line source

local record lib
	enum Signal
		"SIGABRT"
		"SIGALRM"
		"SIGBUS"
		"SIGCHLD"
		"SIGCLD"
		"SIGCONT"
		"SIGFPE"
		"SIGHUP"
		"SIGILL"
		"SIGINT"
		"SIGIO"
		"SIGIOT"
		"SIGKILL"
		"SIGPIPE"
		"SIGPOLL"
		"SIGPROF"
		"SIGQUIT"
		"SIGSEGV"
		"SIGSTKFLT"
		"SIGSTOP"
		"SIGSYS"
		"SIGTERM"
		"SIGTRAP"
		"SIGTTIN"
		"SIGTTOU"
		"SIGURG"
		"SIGUSR1"
		"SIGUSR2"
		"SIGVTALRM"
		"SIGWINCH"
		"SIGXCPU"
		"SIGXFSZ"
	end
	signal : function (integer | Signal, function, boolean) : boolean
	raise : function (integer | Signal)
	kill : function (integer, integer | Signal)
	-- enum : integer
end
return lib