			url:  serverBase + '/separator',
			async: false,
			dataType: 'text',
			success: function(data) {
				separator = data;
				console.log(data);
			},
			error: function(err) {
				$.messager.alert('Error', $.toJSON(err), 'error');
			}
		});

		$(document).ready(function() {
			editor.setTheme('ace/theme/github');
			editor.getSession().setMode('ace/mode/' + aceMode);
			changeMode(aceMode);
			init();
            $('#versionMenu').menu('setIcon', {
                target: $('#version_' + version)[0],
 