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 2099d62e7fd..87a0bfb9e92 100644 --- a/innobase/os/os0proc.c +++ b/innobase/os/os0proc.c @@ -81,9 +81,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 |