| changeset 32138 | 23830562d3d1 |
| parent 31270 | e6470b24700d |
| child 32635 | d7e4ba3c2e0d |
| 32137:335cf1796fcd | 32138:23830562d3d1 |
|---|---|
628 } |
628 } |
629 } |
629 } |
630 return algorithms; |
630 return algorithms; |
631 } |
631 } |
632 |
632 |
633 /** |
|
634 * Get the identifier for the operating system distribution |
|
635 */ |
|
636 public String getDistro() { |
|
637 |
|
638 try (BufferedReader in = |
|
639 new BufferedReader(new InputStreamReader( |
|
640 Runtime.getRuntime().exec("uname -v").getInputStream()))) { |
|
641 |
|
642 return in.readLine(); |
|
643 } catch (Exception e) { |
|
644 return ""; |
|
645 } |
|
646 } |
|
633 } |
647 } |