flush the options_file before start the ycmd server
- There are cases on windows that the ycmd will read an empty options file. So, flush the options file before start the ycmd server
This commit is contained in:
parent
b1bba2e201
commit
62949c42ed
@ -84,6 +84,7 @@ class YouCompleteMe( object ):
|
||||
with tempfile.NamedTemporaryFile( delete = False ) as options_file:
|
||||
self._temp_options_filename = options_file.name
|
||||
json.dump( dict( self._user_options ), options_file )
|
||||
options_file.flush()
|
||||
args = [ utils.PathToPythonInterpreter(),
|
||||
_PathToServerScript(),
|
||||
'--port={0}'.format( server_port ),
|
||||
|
Loading…
Reference in New Issue
Block a user