Ying Wang 50cb76f585 Rename ro.monkey to monkey.running ...

So that Monkey can set it before running and reset it after running.

2010-01-04 12:04:25 -08:00

..

com/android/settings

Rename ro.monkey to monkey.running

2010-01-04 12:04:25 -08:00