Hi Ian! i think you forgot the maria-docs mailist at CC, i included it again
-----
yes, i think that's a job of some MDEV:
https://mariadb.atlassian.net/browse/MDEV-5425https://mariadb.atlassian.net/browse/MDEV-4007https://mariadb.atlassian.net/browse/MDEV-4427
and from last one (that i reported), this was the last comment from monty:
Michael Widenius<https://mariadb.atlassian.net/secure/ViewProfile.jspa?name=monty>
added
a comment - 2014-04-22 08:19
We already have one implementation of this task. We are just waiting for
the sponsor to pay for it so that we can push it.
i will ask at jira if we have news about it
2014-05-26 16:47 GMT-03:00 Ian Gilfillan <ian(a)mariadb.org>:
> Thanks for picking that up.
>
> I'm not sure of the history, but the original version of the page you're
> referring to:
> https://mariadb.com/kb/en/how-to-limittimeout-queries/13101/
> details such a feature, which was scheduled for inclusion in MariaDB 5.5.29
>
> That feature never seemed to make it, and the link you've picked up is
> still a legacy of that.
>
> I'll remove the mention and wait for the feature to actually arrive ;)
>
> ian
>
>
> On 26/05/2014 21:26, Roberto Spadim wrote:
>
> hi guys, i was reading about kill query id
>
> https://mariadb.com/kb/en/data-manipulation-kill-connection-query/
>
> at this part:
> "The timeouts generated by MAX_QUERY_TIME<https://mariadb.com/kb/en/how-to-limittimeout-queries/#max_query_time-varia…>
> use KILL SOFT QUERY.
> "
>
> when i click at MAX_QUERY_TIME, i open a new link to a page that doesn't
> explain what is MAX_QUERY_TIME
>
> hehe maybe a broken link? or a feature not developed yet?
>
>
>
>
--
Roberto Spadim
SPAEmpresarial
Eng. Automação e Controle
I've started the release prep for MariaDB 10.0.11. Draft release notes
and changelog pages are here:
- https://mariadb.com/kb/en/mariadb-10011-release-notes/
- https://mariadb.com/kb/en/mariadb-10011-changelog/
Please make necessary additions/modifications/etc...
The release is still building at the moment, but when finished I'll
upload to the mirrors later today or tomorrow. Current plan, if
everything goes well, is to activate and announce the release on
Monday, 12 May.
Thanks!
--
Daniel Bartholomew, MariaDB Release Manager
MariaDB | http://mariadb.com
