Skip to content

Commit

Permalink
Fix several fixmes from #43. (#46)
Browse files Browse the repository at this point in the history
It appears I missed updating all the signatures in virt_deny in #43, so
this commit updates them.
  • Loading branch information
sunfishcode committed Feb 14, 2024
1 parent 4623ba6 commit 0cf0c7c
Showing 1 changed file with 24 additions and 24 deletions.
48 changes: 24 additions & 24 deletions src/virt_deny/sockets.rs
Original file line number Diff line number Diff line change
Expand Up @@ -151,63 +151,63 @@ pub fn get_wasi_sockets_fns() -> &'static Vec<(&'static str, FuncParams, FuncRes
),
(
"wasi:sockets/[email protected]#keep-alive-idle-time",
vec![ValType::I32], // fixme
vec![ValType::I32],
vec![ValType::I32, ValType::I32],
vec![],
),
(
"wasi:sockets/[email protected]#set-keep-alive-idle-time",
vec![ValType::I32, ValType::I32], // fixme
vec![ValType::I32],
vec![ValType::I32, ValType::I64, ValType::I32],
vec![],
),
(
"wasi:sockets/[email protected]#keep-alive-interval",
vec![ValType::I32], // fixme
vec![ValType::I32],
vec![ValType::I32, ValType::I32],
vec![],
),
(
"wasi:sockets/[email protected]#set-keep-alive-interval",
vec![ValType::I32, ValType::I32], // fixme
vec![ValType::I32],
vec![ValType::I32, ValType::I64, ValType::I32],
vec![],
),
(
"wasi:sockets/[email protected]#keep-alive-count",
vec![ValType::I32], // fixme
vec![ValType::I32],
vec![ValType::I32, ValType::I32],
vec![],
),
(
"wasi:sockets/[email protected]#set-keep-alive-count",
vec![ValType::I32, ValType::I32], // fixme
vec![ValType::I32],
vec![ValType::I32, ValType::I32, ValType::I32],
vec![],
),
(
"wasi:sockets/[email protected]#hop-limit",
vec![ValType::I32],
vec![ValType::I32],
vec![ValType::I32, ValType::I32],
vec![],
),
(
"wasi:sockets/[email protected]#set-hop-limit",
vec![ValType::I32, ValType::I32],
vec![ValType::I32],
vec![ValType::I32, ValType::I32, ValType::I32],
vec![],
),
(
"wasi:sockets/[email protected]#receive-buffer-size",
vec![ValType::I32],
vec![ValType::I32],
vec![ValType::I32, ValType::I32],
vec![],
),
(
"wasi:sockets/[email protected]#set-receive-buffer-size",
vec![ValType::I32, ValType::I64],
vec![ValType::I32],
vec![ValType::I32, ValType::I64, ValType::I32],
vec![],
),
(
"wasi:sockets/[email protected]#send-buffer-size",
vec![ValType::I32],
vec![ValType::I32],
vec![ValType::I32, ValType::I32],
vec![],
),
(
"wasi:sockets/[email protected]#set-send-buffer-size",
vec![ValType::I32, ValType::I64],
vec![ValType::I32],
vec![ValType::I32, ValType::I64, ValType::I32],
vec![],
),
(
"wasi:sockets/[email protected]#subscribe",
Expand Down

0 comments on commit 0cf0c7c

Please sign in to comment.