Sign in
webkit
/
WebKit
/
0f9dda3eb5e8bee1224032800f3b156cd5ce812d
/
.
/
LayoutTests
/
http
/
tests
/
navigation
/
resources
/
delete-ping.py
blob: fae38fad30fa819bf76e997704b9106d76f4c189 [
file
] [
log
] [
blame
]
#!/usr/bin/env python3
import
os
import
sys
from
ping_file_path
import
ping_filepath
sys
.
stdout
.
write
(
'Content-Type: text/html\r\n\r\n'
)
if
os
.
path
.
isfile
(
ping_filepath
):
os
.
remove
(
ping_filepath
)