Setting tag NodeManager-2.0-7 NodeManager-2.0-7
authorS.Çağlar Onur <caglar@cs.princeton.edu>
Wed, 12 May 2010 14:47:36 +0000 (14:47 +0000)
committerS.Çağlar Onur <caglar@cs.princeton.edu>
Wed, 12 May 2010 14:47:36 +0000 (14:47 +0000)
commitddf0ca326beb3635c796ccacd56d4ec0d1b0566a
tree458ffe84b0c7faff0764b330a482480e3124f8ed
parentec4b6618531a3168a5bff6dc2e13d4b124e14dd1
Setting tag NodeManager-2.0-7
Fix typos in plugins/drl.py and doc/NMAPI.xml.in
Added some precautions to the slice id-saving code
Added log message to code that records the slice id