Merge branch 'master' of https://git.wmi.amu.edu.pl/kalmar/PropertyT.jl

2017-10-09 18:08:57 +02:00 · 2017-10-09 18:08:57 +02:00 · 4c777073a7
parent d7bc94b64c dbca3945a8
commit 4c777073a7
1 changed files with 1 additions and 4 deletions
--- a/src/SDPs.jl
+++ b/src/SDPs.jl
@ -58,11 +58,8 @@ end
 function solve_SDP(SDP_problem)
    info(logger, Base.repr(SDP_problem))

-    # to change buffering mode of stdout to _IOLBF (line bufferin)
-    # see https://github.com/JuliaLang/julia/issues/8765
-    ccall((:printf, "libc"), Int, (Ptr{UInt8},), "\n");
-
    o = redirect_stdout(solver_logger.handlers["solver_log"].io)
+    Base.Libc.flush_cstdio()

    t = @timed solution_status = JuMP.solve(SDP_problem)
    info(logger, timed_msg(t))