linux下的文件下载路径问题

linux系统下和windows系统的区别
new File([color=red]路径[/color]).getName(),windows下会得到文件名字，linux下得到的是路径，那这个时候要得到文件名，就要分割这个路径字符串，但是split(“\\”)是没有用的。
解决办法是把\换成\\，即replace("\\","\\\\"),然后再split("\\\\"),这样就行了