java plugin: Divide times received from Java by 1000.
authorFlorian Forster <octo@leeloo.lan.home.verplant.org>
Wed, 18 Feb 2009 22:39:57 +0000 (23:39 +0100)
committerFlorian Forster <octo@leeloo.lan.home.verplant.org>
Wed, 18 Feb 2009 22:39:57 +0000 (23:39 +0100)
commitfe7552a4e73e55655d44903ea7f9fd053029e2f9
tree9b1665cce1ecb5a3ae831fcbbd7aa3fab1d4bbc4
parent30c2d6652c012c90ab15cccadcb8934d7acbeac7
java plugin: Divide times received from Java by 1000.

Java keeps time as milliseconds in 64bit integers. Let's keep it that
way and translate to epoch transparently.

The other way around, from C to Java, already multiplies by 1000.
src/java.c