Stas Kelvich

Results 80 comments of Stas Kelvich

https://github.com/kelvich/tlaplus_jupyter/pull/5 I've created `--tlc-exec-stats` install option which is set to `share` by default. Also added note about that behavior to README.md. Any other suggestions? May be change wording somewhere?

I'm seeing my id (61a7f9a) now in tlaplus.csv now. Does tla2tools v1.6.0 support tlc2.TLC.ide? I always download that version during install.

Okay, I'll then switch download to https://nightly.tlapl.us/dist/tla2tools.jar

The latest releases for macOS (Build 436) and Windows (Build 202) added SNI support: * https://tableplus.com/blog/2017/02/changelogs.html * https://tableplus.com/blog/2018/09/changelogs-windows.html Linux is still pending.

> I've reproduced it with Locally? Is there a backtrace?

Yes, we found bug in plv8 itself https://github.com/plv8/plv8/pull/504

Just to keep things in one place: our TLS certificates are signed by let's encrypt, so they are verifiable against their root CA: https://letsencrypt.org/certs/isrgrootx1.pem or against system CA storage (`/etc/ssl/cert.pem`...

> Some more notes. > > What is the sequence of actions to test moving a tenant to a different pageserver? > > 1. Init pageserver old > > 2....

@LizardWizzard let's check that again since backpressure was merged/fixed? #803