Bryan A. Jones

> Further testing makes me believe this is an issue with using both CodeChat and `pretext view` in the same codespace. If I restart the codespace and do a `pretext...

I think the correct fix is to package these files in a JS bundler (esbuild is my favorite). Otherwise, we'll keep getting shut down by Microsoft's firewall, which thinks we're...

CodeChat adds just [a few more files](https://github.com/bjones1/CodeChat_system/tree/master/CodeChat_Server/CodeChat_Server/CodeChat_Client/static) that are loaded at startup, then not reloaded. However, it doesn't cache files so that any edits to a page get revealed immediately.

My guess: the broken pipe occurs because CodeSpaces permanently closed the port due to exceeding rate limits, not because of permissions.

> If a user is editing pretext and viewing the results in codechat they are not changing the javascript or css... So I'm not seeing the harm in caching the...

> This: > > ``` > Refused to execute script from 'https://glorious-space-guide-jgxwgv5rg63v9w-8128.app.github.dev/output/web/_static/pretext/js/pretext_search.js' because its MIME type ('') is not executable, and strict MIME type checking is enabled. > ``` >...

I spent a fair amount of time debugging this weekend. I haven't tracked down the root case. Observations: - Throttling the server doesn't help, even slowing to 1 response per...

I filed https://github.com/bottlepy/bottle/issues/1442, hoping the Bottle team can track this down.

I tried switching back to Flask as a server, but that also failed.

Having a schema would be nice from an VSCode IDE perspective, where the user could be guided into the correct syntax while editing. However, I don't know any way of...