Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Support
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
M
mariadb
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
0
Issues
0
List
Boards
Labels
Milestones
Merge Requests
0
Merge Requests
0
Analytics
Analytics
Repository
Value Stream
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Commits
Issue Boards
Open sidebar
Kirill Smelkov
mariadb
Commits
8dd0a47d
Commit
8dd0a47d
authored
Aug 27, 2005
by
kent@mysql.com
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
mtr_timer.pl:
Simplified and corrected mtr_timer_stop_all()
parent
207d1598
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
2 additions
and
14 deletions
+2
-14
mysql-test/lib/mtr_timer.pl
mysql-test/lib/mtr_timer.pl
+2
-14
No files found.
mysql-test/lib/mtr_timer.pl
View file @
8dd0a47d
...
@@ -119,21 +119,9 @@ sub mtr_timer_stop_all ($) {
...
@@ -119,21 +119,9 @@ sub mtr_timer_stop_all ($) {
foreach
my
$name
(
keys
%
{
$timers
->
{'
timers
'}}
)
foreach
my
$name
(
keys
%
{
$timers
->
{'
timers
'}}
)
{
{
my
$tpid
=
$timers
->
{'
timers
'}
->
{
$name
}
->
{'
pid
'};
mtr_timer_stop
(
$name
);
# FIXME as Cygwin reuses pids fast, maybe check that is
# the expected process somehow?!
kill
(
9
,
$tpid
);
# As the timers are so simple programs, we trust them to terminate,
# and use blocking wait for it. We wait just to avoid a zombie.
waitpid
(
$tpid
,
0
);
delete
$timers
->
{'
timers
'}
->
{
$name
};
# Remove the timer information
delete
$timers
->
{'
pids
'}
->
{
$tpid
};
# and PID reference
return
1
;
}
}
return
1
;
}
}
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment