[basex-talk] db:replace modified date

2017-08-13 Thread Kendall Shaw
After debugging a query for a while, I figured out that db:replace isn’t 
changing the modification date of an XML resource, when the content hasn’t 
changed. The case is like this:

db:replace(‘db’, ‘abc.xml’, doc(‘file:/tmp/abc.xml’))

Is that normal, or do I have an option set that results in that behavior? 
ADDCACHE is false.

Kendall



Re: [basex-talk] Differences in serialization of arrays with JSON vs. adaptive methods

2017-08-13 Thread Christian Grün
> Having tried out the snapshot, I can confirm the queries are bluer!

;) Talking about colors, I have slightly revised our color schemes
(for XQuery, XML, JSON and JavaScript files) and made them more
subtle.

Real input parsing is somewhere on our agenda as well. I noticed that
the highlighting in eXide works excellent; I doubt we can compete with
that in the near future.