Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Switch from Wasmer to Wasmtime #3349

Merged
merged 10 commits into from
Jun 28, 2024
Merged

Switch from Wasmer to Wasmtime #3349

Changes from 1 commit
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
7aa6462
Remove ForeignFunctionEnv wrapper around PluginEnv
bjorn3 May 13, 2024
e4312dc
Pass PluginEnv by value to load_plugin_instance
bjorn3 May 13, 2024
9fda2ba
Avoid passing a Store around when an Engine is enough
bjorn3 May 13, 2024
f63f18f
Pass PluginEnv to the wasi read/write functions
bjorn3 May 14, 2024
74a3b59
Migrate to Wasmtime
bjorn3 May 14, 2024
73bfd19
Switch from wasi-common to wasmtime-wasi
bjorn3 May 14, 2024
efd3fe2
Reduce verbosity of wasmtime_wasi logs
bjorn3 May 15, 2024
922801e
Increase startup delay
bjorn3 May 15, 2024
884b0da
Disable some wasmtime features
bjorn3 Jun 20, 2024
a05f412
Update to Wasmtime 21.0.1
bjorn3 Jun 20, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Reduce verbosity of wasmtime_wasi logs
  • Loading branch information
@bjorn3
bjorn3 committed Jun 14, 2024
commit efd3fe2c263f3b57ebcc9e4ae5d2b44c7c4961e4
6 changes: 6 additions & 0 deletions zellij-utils/src/logging.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -68,10 +68,16 @@ pub fn configure_logger() {
.unwrap();

// Set the default logging level to "info" and log it to zellij.log file
// Decrease verbosity for `wasmtime_wasi` module because it has a lot of useless info logs
// For `zellij_server::logging_pipe`, we use custom format as we use logging macros to forward stderr output from plugins
let config = Config::builder()
.appender(Appender::builder().build("logFile", Box::new(log_file)))
.appender(Appender::builder().build("logPlugin", Box::new(log_plugin)))
.logger(
Logger::builder()
.appender("logPlugin")
.build("wasmtime_wasi", LevelFilter::Warn),
Copy link
Contributor Author

@bjorn3 bjorn3 May 15, 2024 •
edited
Loading

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should this go to logFile or logPlugin? On the one hand these are logs in response to plugin actions, on the other hand they are not logs directly produced by the plugin itself.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Doesn't matter that much, they go into the same file in the end. But might indeed be nicer to change it to logPlugin since then we'll see the plugin id too.

)
.logger(
Logger::builder()
.appender("logPlugin")
Expand Down