Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Mar2018]: timing output of mclient -t / --timer= should go to stderr rather than stdout #6536

Closed
monetdb-team opened this issue Nov 30, 2020 · 0 comments
Labels
Client interfaces enhancement New feature or request

Comments

@monetdb-team
Copy link

Date: 2018-02-08 07:30:45 +0100
From: @drstmane
To: clients devs <>
Version: 11.27.11 (Jul2017-SP3)

Last updated: 2018-03-29 15:39:07 +0200

Comment 26171

Date: 2018-02-08 07:30:45 +0100
From: @drstmane

timing output of mclient -t / --timer= should go to stderr rather than stdout

Comment 26174

Date: 2018-02-08 08:58:23 +0100
From: MonetDB Mercurial Repository <>

Changeset efcbf80ad9b0 made by Stefan Manegold Stefan.Manegold@cwi.nl in the MonetDB repo, refers to this bug.

For complete details, see https//devmonetdborg/hg/MonetDB?cmd=changeset;node=efcbf80ad9b0

Changeset description:

mclient manpage: warn about default --timer=clock invalidating csv, tab, xml output formats
(as long as the timing output stil goes to stdout rather than stderr;
 cf., feature request / bug #6536)

Comment 26178

Date: 2018-02-08 09:41:37 +0100
From: @drstmane

for an alternative (or addition?), see also feature request / bug #6537.

much like feature request / bug #6537 this is mainly to avoid that the default timing output compromises/invalidates the format of mclient's output formatters csv, tab, xml.

Comment 26194

Date: 2018-02-14 09:56:52 +0100
From: MonetDB Mercurial Repository <>

Changeset 78546e443dd3 made by Stefan Manegold Stefan.Manegold@cwi.nl in the MonetDB repo, refers to this bug.

For complete details, see https//devmonetdborg/hg/MonetDB?cmd=changeset;node=78546e443dd3

Changeset description:

mclient, timerHuman(): report all timing on stderr rather than stdout,
as per feature request / bug #6536 .

Comment 26196

Date: 2018-02-14 10:16:40 +0100
From: @drstmane

Fixed / implemented by changeset 78546e443dd3 .

Comment 26301

Date: 2018-03-29 15:39:07 +0200
From: @sjoerdmullender

The Mar2018 version has been released.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Client interfaces enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

2 participants