转载自Stackoverflow
- Go to Window–>Preferences–>Server–>Runtime Environments 修改正确的Server路径
- 将org.eclipse.jst.server.tomcat.core.prefs 改名为
org.eclipse.jst.server.tomcat.core.prefs.bak (删掉也可以). 文件路径为
\workspace.metadata.plugins\org.eclipse.core.runtime.settings - 将org.eclipse.wst.server.core.prefs 重命名为
org.eclipse.wst.server.core.prefs.bak (删掉也可以). 文件路径同上。
<script type="text/javascript"> $(function () { $('pre.prettyprint code').each(function () { var lines = $(this).text().split('\n').length; var $numbering = $('<ul/>').addClass('pre-numbering').hide(); $(this).addClass('has-numbering').parent().append($numbering); for (i = 1; i <= lines; i++) { $numbering.append($('<li/>').text(i)); }; $numbering.fadeIn(1700); }); }); </script>