chiark / gitweb /
Ian Jackson [Mon, 3 May 2021 16:24:38 +0000 (17:24 +0100)]
bundles: Move and centralise update()
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 3 May 2021 16:55:34 +0000 (17:55 +0100)]
at-otter: Put the test game back at the end for ad-hoc tests
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 3 May 2021 16:15:46 +0000 (17:15 +0100)]
bundles: Save the bundle list in the ig for ready access
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 3 May 2021 15:08:38 +0000 (16:08 +0100)]
packetframe: Add some not miri annotations
warning: function is never used: `expect_good`
--> src/packetframe.rs:521:6
|
521 | fn expect_good<R:Read>(rd: &mut FrameReader<R>, expected: &[u8]) {
| ^^^^^^^^^^^
Weirdly, not always. Only on certain rebuilds ? Whatever.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 3 May 2021 14:50:06 +0000 (15:50 +0100)]
bundles: Break out InstanceBundles::iter()
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 3 May 2021 13:28:37 +0000 (14:28 +0100)]
update: Use &Html rather than &Arc<Html>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 3 May 2021 13:20:12 +0000 (14:20 +0100)]
bundles: Better output from list-bundles
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 3 May 2021 13:06:59 +0000 (14:06 +0100)]
bundles: test download too
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 3 May 2021 13:03:15 +0000 (14:03 +0100)]
bundles: test, wip
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 3 May 2021 13:02:02 +0000 (14:02 +0100)]
apitest: New Explode error
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 3 May 2021 13:01:12 +0000 (14:01 +0100)]
apitest: Allow reading OtterOutput to a string
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 3 May 2021 12:44:12 +0000 (13:44 +0100)]
apitest: Fix logging levels
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 3 May 2021 12:41:18 +0000 (13:41 +0100)]
apitest: Capture and return the output from otter(1) in at-*
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 3 May 2021 12:38:53 +0000 (13:38 +0100)]
apitest: Capture and return the output from otter(1)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 3 May 2021 12:25:55 +0000 (13:25 +0100)]
utils: Provide and use <T as Seek>::rewind()
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 3 May 2021 12:06:37 +0000 (13:06 +0100)]
CHANGELOG: document chdir fixes
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 3 May 2021 12:06:21 +0000 (13:06 +0100)]
logging env vars: Rename (tidying) and document
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 3 May 2021 12:03:22 +0000 (13:03 +0100)]
path resolution tests: Tidy direct use of su_rc to su()
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 3 May 2021 11:59:28 +0000 (12:59 +0100)]
bundles: Implement DownloadBundle
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 3 May 2021 11:59:12 +0000 (12:59 +0100)]
bundles: Provide Id::open
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 3 May 2021 11:58:47 +0000 (12:58 +0100)]
bundles: Make bundles::Id more open
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 3 May 2021 11:54:22 +0000 (12:54 +0100)]
path resolution: Rename types and variables to mention Path
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 3 May 2021 11:47:29 +0000 (12:47 +0100)]
path resolution tests: cd to / for library_load and specs
This tests that both client and server path resolution works.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 3 May 2021 11:45:50 +0000 (12:45 +0100)]
path resolution tests: Plumb rctx to various places and use it
* otter_rctx
* rctx in at-otter Ctx
* rctx passed to prepare_game
No functional change since this is always default() for the moment.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 3 May 2021 10:55:10 +0000 (11:55 +0100)]
config: Only chdir in server, rework entirely
We want to be able to test this, so it needs to be more accessible.
And there are actually two separate types here.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 3 May 2021 10:21:34 +0000 (11:21 +0100)]
config: Only chdir in server (!), fix sense (!)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 3 May 2021 10:04:31 +0000 (11:04 +0100)]
config: Add a trace_dbg
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 3 May 2021 09:57:24 +0000 (10:57 +0100)]
config: Only chdir in server (!), fix
We want to resolve all relative paths in the server config, not just
the defaults.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 2 May 2021 23:26:35 +0000 (00:26 +0100)]
config: Only chdir in server (!), actually
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 2 May 2021 23:22:35 +0000 (00:22 +0100)]
config: Only chdir in server (!)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 2 May 2021 23:12:06 +0000 (00:12 +0100)]
config: Make ServerConfigSpec::resolve() not TryFrom
This changes the cwd!
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 2 May 2021 22:58:24 +0000 (23:58 +0100)]
base: prelude: export void (crate)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 2 May 2021 22:57:32 +0000 (23:57 +0100)]
cmdlistener: Change type of bulk_download
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 2 May 2021 22:56:34 +0000 (23:56 +0100)]
Provide DebugExt::to_debug
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 2 May 2021 21:14:00 +0000 (22:14 +0100)]
bundles: rework ListBundles return value
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 2 May 2021 21:11:42 +0000 (22:11 +0100)]
if_let: Provide a cardboard cutout version for basic struct variants
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 2 May 2021 20:54:27 +0000 (21:54 +0100)]
bundles: Provide Display for Id
Nothing uses this yet but maybe it will be useful.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 2 May 2021 20:50:09 +0000 (21:50 +0100)]
Convert bundles::Index to a newtype
Mostly for string formatting.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 2 May 2021 09:54:01 +0000 (10:54 +0100)]
bundles: Introduce and use Kind::only
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 2 May 2021 09:48:15 +0000 (10:48 +0100)]
bundles: Fix a typo
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 2 May 2021 09:45:33 +0000 (10:45 +0100)]
bundles: Add a todo
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 2 May 2021 01:03:03 +0000 (02:03 +0100)]
bundles: Initial list-bundles
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 2 May 2021 00:37:23 +0000 (01:37 +0100)]
bundles: use strum Display for bundles::Kind
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 2 May 2021 00:31:50 +0000 (01:31 +0100)]
bundles: Add a bound on b_file for debug convenience
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 2 May 2021 00:18:07 +0000 (01:18 +0100)]
bundles: Note what we loaded
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 2 May 2021 00:12:00 +0000 (01:12 +0100)]
bundles: Actually create the directory, on upload
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 1 May 2021 23:51:41 +0000 (00:51 +0100)]
otter: Provide upload-bundle. Does not work yet.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 1 May 2021 23:35:58 +0000 (00:35 +0100)]
cmdlistener: Provide cmd_withbulk
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 1 May 2021 23:24:13 +0000 (00:24 +0100)]
cmdlistener: Refactor to use write_withbulk
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 1 May 2021 23:22:02 +0000 (00:22 +0100)]
cmdlistener: Fix writer framing on errors, restructure
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 1 May 2021 19:02:14 +0000 (20:02 +0100)]
bundles: Initial implementation of framework
See todos in bundles.rs.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 1 May 2021 18:59:58 +0000 (19:59 +0100)]
global: Prepare for aux save files to also be dirs
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 1 May 2021 18:57:34 +0000 (19:57 +0100)]
global: Make savefilename pub
The bundles code is going to want this.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 1 May 2021 18:56:09 +0000 (19:56 +0100)]
global: Refactor destroy game best effort deleting
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 1 May 2021 16:45:00 +0000 (17:45 +0100)]
digest: provide DigestWrite
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 1 May 2021 16:35:01 +0000 (17:35 +0100)]
digest: provide DigestRead etc.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 1 May 2021 15:37:46 +0000 (16:37 +0100)]
cmdlistener: Provide facility for bulk upload/download
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 1 May 2021 15:35:47 +0000 (16:35 +0100)]
move mgmtchannel read/write to methods on Framed
This will allow us to borrow the read and write halves of a channel
separately, for doing bulk upload/download.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 1 May 2021 15:06:51 +0000 (16:06 +0100)]
cmdlistener: Break out CommandStream so it doesn't get chan
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 1 May 2021 14:57:51 +0000 (15:57 +0100)]
mgmtchannel: Provide _withbulk
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 1 May 2021 14:52:19 +0000 (15:52 +0100)]
packetfraame: Move stream flush to finish call
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 1 May 2021 12:20:57 +0000 (13:20 +0100)]
global: Slightly reorganise InstanceOuter construction
Tidier, and makes space for bundles.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 1 May 2021 12:19:04 +0000 (13:19 +0100)]
global: Introduce InstanceOuter
This will let us put bundle information within a separate lock.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 29 Apr 2021 00:57:19 +0000 (01:57 +0100)]
CHANGLOG: mention spec parsing change
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 29 Apr 2021 00:43:38 +0000 (01:43 +0100)]
Move game spec parsing from client to server
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 29 Apr 2021 00:55:59 +0000 (01:55 +0100)]
mgmtchannel: Correct handling of expanded insn responses
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 29 Apr 2021 00:17:33 +0000 (01:17 +0100)]
otter(1): Provide SpecRaw
Not used yet.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 29 Apr 2021 00:17:23 +0000 (01:17 +0100)]
otter: Introduce SpecParse trait for specs we may want to send raw
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 23:57:30 +0000 (00:57 +0100)]
cmdlistener: Introduce InsnExpanded
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 23:54:25 +0000 (00:54 +0100)]
cmdlistener: Move handling of expand
We're going to want this to interact with resp
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 23:50:30 +0000 (00:50 +0100)]
cmdlistener: Provide InsnMark for handling expanding insns
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 23:44:26 +0000 (00:44 +0100)]
cmdlistener: allow insns to prepend more insns
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 22:43:00 +0000 (23:43 +0100)]
PosOffTableError: Use error autoconversion
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 22:38:54 +0000 (23:38 +0100)]
PosOffTableError: Use in organise
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 22:36:50 +0000 (23:36 +0100)]
PosOffTableError: Introduce
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 22:29:37 +0000 (23:29 +0100)]
cmdlistener: Do not allow resizing the table so pieces fall outside
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 22:21:41 +0000 (23:21 +0100)]
CHANGELOG: Document recent changes
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 22:19:27 +0000 (23:19 +0100)]
CHANGELOG: Document recent changes
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 18:53:02 +0000 (19:53 +0100)]
apitests: Test that all specs load
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 18:51:06 +0000 (19:51 +0100)]
Makefile: Add missing dependency of tests on specs
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 18:13:33 +0000 (19:13 +0100)]
specs: vatikan: Add a reference to where the info came from
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 18:03:31 +0000 (19:03 +0100)]
specs: Rename same-scope.table.toml
This should have a hyphen.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 17:02:17 +0000 (18:02 +0100)]
specs: Introduce samescope.table.toml
And the supporting Rust code.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 17:01:34 +0000 (18:01 +0100)]
specs: Plumb InstanceName through to TablePlayerSpec::account_glob
This makes it possible for the meaning of a TablePlayerSpec to be
"local" relative to the instance name.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 17:00:05 +0000 (18:00 +0100)]
specs: Add private.table.toml
It seems like this should exist.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 16:58:42 +0000 (17:58 +0100)]
otter(1): Add env_logger
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 16:53:36 +0000 (17:53 +0100)]
mgmtchannel: Add tracing calls
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 16:52:11 +0000 (17:52 +0100)]
spec: Fix TablePlayerSpec glob pattern generation
Fixes TablePlayerSpec::Local.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 16:33:19 +0000 (17:33 +0100)]
paketframe: Delete unused copies of rmp mgmtchannel r/w
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 15:52:27 +0000 (16:52 +0100)]
specs: Add vatikan.game.toml
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 25 Apr 2021 17:13:40 +0000 (18:13 +0100)]
hidden: Document ShowUnocculted proof obligations
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 25 Apr 2021 17:05:32 +0000 (18:05 +0100)]
authproofs: Document proof obligations
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 24 Apr 2021 13:01:46 +0000 (14:01 +0100)]
global: Rename "aux" (from daft old name "access")
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 16 Apr 2021 23:40:55 +0000 (00:40 +0100)]
mgmtchannel: Switch to msgpack from json
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 16 Apr 2021 23:33:22 +0000 (00:33 +0100)]
mgmtchannel: Switch to Framed from newline-based framing
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 20:54:06 +0000 (21:54 +0100)]
packetframe: test: Test an empty frame
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 18 Apr 2021 12:30:34 +0000 (13:30 +0100)]
packetframe: Completely rewrite FrameReader
The was growing more and more epicycles, every time I fixed a test
failure. And it still wouldn't cope with an empty frame!
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 18 Apr 2021 12:25:25 +0000 (13:25 +0100)]
packetframe: tests: Test with BufReaders
We are about to make this get quite involved with a BufReader's buffer
methods, so the BufReader will hide our LumpReader. So test all
combinations of both. This still only takes 2.5s in a debug build.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 18 Apr 2021 11:58:12 +0000 (12:58 +0100)]
packetframe: Tests: Fold read_all into lumpreader loop
Just code motion and removal of an indiredtion.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 18 Apr 2021 11:56:01 +0000 (12:56 +0100)]
packetframe: Tests: Fold first read_all into lumpreader test
With a buffer of len+1 this is equivalent. This will make it easier
to change the way FrameReader is constructed.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
~ianmdlvl / otter.git / log