Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Commit6edb08a

Browse files
committed
Fix log_prefix type to be optional
1 parent341426b commit6edb08a

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎src/lithium/interestingness/timed_run.py‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -65,7 +65,7 @@ def get_signal_name(signum: int, default: str = "Unknown signal") -> str:
6565
deftimed_run(
6666
cmd_with_args:List[str],
6767
timeout:int,
68-
log_prefix:str="",
68+
log_prefix:Optional[str]=None,
6969
env:Optional[Dict[str,str]]=None,
7070
inp:str="",
7171
preexec_fn:Optional[Callable[[],None]]=None,

0 commit comments

Comments
 (0)

[8]ページ先頭

©2009-2025 Movatter.jp