[commits] Horde branch develop updated. 0cb8f011a654fe19592a78b8159b410221bc3cd9

[Michael J. Rubinsky]

The branch "develop" has been updated.
The following is a summary of the commits.

from: 7ff6aee8e0f8a4544f30204e63c9a7e75d095748

0cb8f01 Start replacing deviceid with pid in log entries.

-----------------------------------------------------------------------

commit 0cb8f011a654fe19592a78b8159b410221bc3cd9
Author: Michael J Rubinsky <mrubinsk at horde.org>
Date:   Mon Jul 16 20:36:18 2012 -0400

    Start replacing deviceid with pid in log entries.
    
    No need to specify the device in the log since it can now be logged
    to a separate file and the pid can help track down concurrency issues.

 framework/ActiveSync/lib/Horde/ActiveSync/Request/Base.php |   10 +++
 framework/ActiveSync/lib/Horde/ActiveSync/Request/Ping.php |   18 +++---
 framework/ActiveSync/lib/Horde/ActiveSync/State/Sql.php    |   44 +++++++-----
 3 files changed, 45 insertions(+), 27 deletions(-)

http://git.horde.org/horde-git/-/commit/0cb8f011a654fe19592a78b8159b410221bc3cd9