后台从数据库取出时间，JSON格式化后再传到gridpanel，这时时间变成了：/Date(32331121223)/这样的格式，那么这时需要以下处理才可以正常显示：
在
var record = Ext.data.Record.create([
{ name: 'PublicDate', mapping: 'PublicDate', dateFormat: 'Y-m-d', convert: function (v) {
if (v == null) {
return null;
}
var d = new Date();
var str = v.toString();
var str1 = str.replace("/Date(", "");
var str2 = str1.replace(")/", "");
var dd = parseInt(str2);
d.setTime(dd);
return d;
} }
]);
然后在：
var cm = new Ext.grid.ColumnModel([
{ header: '发布时间', dataIndex: 'PublicDate', width: 120, align: 'center', renderer: Ext.util.Format.dateRenderer('Y-m-d') }
]);
这样即可正常显示，如：2012-11-19,
