diff options
Diffstat (limited to 'innobase/os/os0proc.c')
| -rw-r--r-- | innobase/os/os0proc.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/innobase/os/os0proc.c b/innobase/os/os0proc.c index 85791c55348..2f155788420 100644 --- a/innobase/os/os0proc.c +++ b/innobase/os/os0proc.c @@ -539,9 +539,8 @@ os_process_set_priority_boost( /* Does not do anything currently! SetProcessPriorityBoost(GetCurrentProcess(), no_boost); */ - printf( - "Warning: process priority boost setting currently not functional!\n" - ); + fputs("Warning: process priority boost setting currently not functional!\n", + stderr); #else UT_NOT_USED(do_boost); #endif |