Skip to content

Commit

Permalink
Mention sleep in thread.pause description. Fixes: #4276
Browse files Browse the repository at this point in the history
  • Loading branch information
toots committed Jan 6, 2025
1 parent a4fba9e commit 6a86d5b
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/core/builtins/builtins_thread.ml
Original file line number Diff line number Diff line change
Expand Up @@ -148,8 +148,8 @@ let _ =
let _ =
Lang.add_builtin ~base:thread "pause" ~category:`Programming
~descr:
"Pause execution for a given amount of seconds. This freezes the calling \
thread and should not be used in the main streaming loop."
"Pause execution for a given amount of seconds. This puts the calling \
thread to skip and should not be used in the main streaming loop."
[("", Lang.float_t, None, Some "Number of seconds of pause.")]
Lang.unit_t
(fun p ->
Expand Down

0 comments on commit 6a86d5b

Please sign in to comment.