Software / code / prosody
Annotate
teal-src/util/ringbuffer.d.tl @ 12862:3dfb87814d65 0.12
util.prosodyctl.shell: Close state on exit to fix saving shell history
This ensures a last round of garbage collection and finalizers, which
should include flushing the readline history file.
Test procedure:
```
$ ./prosodyctl shell
prosody> s2s:show() -- any command that is not the last in history
... output
prosody> bye
$ ./prosodyctl shell
prosody> ^P
```
After this, the shell prompt should contain the last command from before
the "bye". Before this patch, recent history is gone most of the time.
| author | Kim Alvefur <zash@zash.se> |
|---|---|
| date | Sun, 22 Jan 2023 14:42:07 +0100 |
| parent | 11578:dfc5d8f6788e |
| rev | line source |
|---|---|
|
11578
dfc5d8f6788e
teal: Add type spec for util.ringbuffer
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
1 local record lib |
|
dfc5d8f6788e
teal: Add type spec for util.ringbuffer
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
2 record ringbuffer |
|
dfc5d8f6788e
teal: Add type spec for util.ringbuffer
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
3 find : function (ringbuffer, string) : integer |
|
dfc5d8f6788e
teal: Add type spec for util.ringbuffer
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
4 discard : function (ringbuffer, integer) : boolean |
|
dfc5d8f6788e
teal: Add type spec for util.ringbuffer
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
5 read : function (ringbuffer, integer, boolean) : string |
|
dfc5d8f6788e
teal: Add type spec for util.ringbuffer
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
6 readuntil : function (ringbuffer, string) : string |
|
dfc5d8f6788e
teal: Add type spec for util.ringbuffer
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
7 write : function (ringbuffer, string) : integer |
|
dfc5d8f6788e
teal: Add type spec for util.ringbuffer
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
8 size : function (ringbuffer) : integer |
|
dfc5d8f6788e
teal: Add type spec for util.ringbuffer
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
9 length : function (ringbuffer) : integer |
|
dfc5d8f6788e
teal: Add type spec for util.ringbuffer
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
10 sub : function (ringbuffer, integer, integer) : string |
|
dfc5d8f6788e
teal: Add type spec for util.ringbuffer
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
11 byte : function (ringbuffer, integer, integer) : integer... |
|
dfc5d8f6788e
teal: Add type spec for util.ringbuffer
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
12 free : function (ringbuffer) : integer |
|
dfc5d8f6788e
teal: Add type spec for util.ringbuffer
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
13 end |
|
dfc5d8f6788e
teal: Add type spec for util.ringbuffer
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
14 |
|
dfc5d8f6788e
teal: Add type spec for util.ringbuffer
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
15 new : function (integer) : ringbuffer |
|
dfc5d8f6788e
teal: Add type spec for util.ringbuffer
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
16 end |
|
dfc5d8f6788e
teal: Add type spec for util.ringbuffer
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
17 |
|
dfc5d8f6788e
teal: Add type spec for util.ringbuffer
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
18 return lib |
|
dfc5d8f6788e
teal: Add type spec for util.ringbuffer
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
19 |
|
dfc5d8f6788e
teal: Add type spec for util.ringbuffer
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
20 |