SPARQL query with ORDER BY in Workbench returns query.xml with results attribute ordered set to 'false'

Description

In attempting to reproduce SES-1109, I noticed that, even though the query produced ordered results correctly, there is an attribute on the results node, 'ordered', set to 'false'. There is no such attribute specified at http://www.w3.org/TR/rdf-sparql-XMLres/ See for full details on steps taken, and for the XML result.

Environment

Ubuntu 12.04 LTS, Tomcat 7

Status

Assignee

Peter Ansell

Reporter

Dale W. Visser

Labels

None

Fix versions

Affects versions

Priority

Trivial
Configure