2:41 AM
smw_ has quit
3:20 AM
bramp joined the channel
5:48 AM
inconshreveable joined the channel
7:28 AM
arkq joined the channel
8:24 AM
Kanalia joined the channel
8:24 AM
Kanalia
good mornings
9:33 AM
GeertJohan: so you'd like a service which sends requests but expects no replies?
9:43 AM
GeertJohan
Kanalia: yes
9:43 AM
It can ofcourse return an error, but that's already builtin
9:43 AM
If there's no error: the request went fine.
10:00 AM
Kanalia
what about an empty message?
10:00 AM
(dunno if that's legal by proto standards though)
10:01 AM
or a faux empty message, just without any variables associated (like some error code)
10:26 AM
GeertJohan
Right like I said, I'm now using `message Void {}`
10:26 AM
Kanalia
sounds good enough :)
10:27 AM
GeertJohan
Well it feels kinda strange, but I can see how allowing absence of the argument and/or return value makes code generation more complicated
10:27 AM
Kanalia
understandable, yes
14:39 PM
tabot is now known as tabo
15:09 PM
coli joined the channel
15:14 PM
coli has quit
15:18 PM
larsonm joined the channel
15:27 PM
arkq has quit
15:56 PM
arkq joined the channel
16:06 PM
ejona
GeertJohan: There is a well-known message type called Empty, that is basically the same as your Void.
16:06 PM
16:07 PM
Feel free to use your Void though, since it doesn't really hurt much. Empty just has the benefit of being more well-known (not specific to your service).
17:06 PM
inconshreveable joined the channel
17:15 PM
derferman joined the channel
17:39 PM
derferman joined the channel
17:43 PM
derferman has quit
17:45 PM
derferman joined the channel
17:50 PM
derferman joined the channel
18:00 PM
derferman has quit
18:08 PM
arkq has quit
18:10 PM
derferman joined the channel
18:10 PM
arkq joined the channel
18:26 PM
derferman joined the channel
18:27 PM
derferman has quit
18:31 PM
derferman joined the channel
18:32 PM
derferma_ joined the channel
18:32 PM
derferman has quit
18:55 PM
derferman joined the channel
18:56 PM
derferma_ joined the channel
19:12 PM
derferman joined the channel
19:39 PM
derferman joined the channel
19:39 PM
derferman joined the channel
20:05 PM
derferman joined the channel
20:32 PM
Lecherito joined the channel
20:51 PM
inconshreveable joined the channel
21:57 PM
inconshreveable joined the channel
22:13 PM
derferman joined the channel
22:52 PM
derferman joined the channel
23:29 PM
inconshr_ joined the channel